References
G. Boolos, The Unprovability of Consistency, Cambridge University Press, Cambridge, 1979.
C. Bernardi and A. Sorbi, ‘Classifying positive equivalence relations’, The Journal of Symbolic Logic, Vol. 48 (1983), pp. 529–538.
C. Bernardi and F. Montagna, ‘Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property’, Fundamental Mathematicae, Vol. 124, (1984), pp. 221–233.
P. Lindström, ‘Some results of interpretability’, Proceedings of the 5th Scandinavian Logic Symposium, Aalborg 1979, pp. 329–361.
F. Montagna, ‘Relatively precomplete numerations and arithmetic’, Journal of Philosophical Logic, Vol. 11 (1982), pp. 419–430.
H. Rogers Jr., Theory of Recursive Functions and Effective Compatibility, Hill, New York, 1967.
R. M. Smullyan, Theory of Formal Systems, Princeton University Press, Princeton, 1961.
A. Visser, ‘Numerations, λ-calculus & arithmetic’, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (I. E. Hindley and J. P. Seldin, eds.), Academic Press, New York and London, 1980, pp. 259–284.
A. Visser, ‘The provability logics of recursively ennumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic’, Journal of Philosophical Logic, Vol. 13 (1984), pp. 97–113.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ballard, D. Combinatory completeness without classical equality. J Philos Logic 17, 115–132 (1988). https://doi.org/10.1007/BF00247907
Issue Date:
DOI: https://doi.org/10.1007/BF00247907