References
Kleene, S. C., Introduction to Metamathematics, Van Nostrand, 1952.
Kripke, S. K., ‘Outline of a theory of truth’, Journal of Philosophy, October, 1975.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McCarthy, T. Abstraction and definability in semantically closed structures. J Philos Logic 14, 255–266 (1985). https://doi.org/10.1007/BF00249366
Issue Date:
DOI: https://doi.org/10.1007/BF00249366