A non-standard truth definition
HTML articles powered by AMS MathViewer
- by Robert McNaughton
- Proc. Amer. Math. Soc. 5 (1954), 505-509
- DOI: https://doi.org/10.1090/S0002-9939-1954-0062085-6
- PDF | Request permission
References
- Hao Wang, The irreducibility of impredicative principles, Math. Ann. 125 (1952), 56–66. MR 51183, DOI 10.1007/BF01343107
- Hao Wang, Truth definitions and consistency proofs, Trans. Amer. Math. Soc. 73 (1952), 243–275. MR 49136, DOI 10.1090/S0002-9947-1952-0049136-2
- Robert McNaughton, Some formal relative consistency proofs, J. Symbolic Logic 18 (1953), 136–144. MR 55280, DOI 10.2307/2268946
- Leon Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81–91. MR 36188, DOI 10.2307/2266967
- J. Barkley Rosser and Hao Wang, Non-standard models for formal logics, J. Symbolic Logic 15 (1950), 113–129. MR 38307, DOI 10.2307/2266971 A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica vol. 1 (1936) pp. 251-405. W. V. Quine, Mathematical logic, New York, 1940.
- A. Mostowski, On models of axiomatic systems, Fund. Math. 39 (1952), 133–158 (1953). MR 54547, DOI 10.4064/fm-39-1-133-158
Bibliographic Information
- © Copyright 1954 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 5 (1954), 505-509
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9939-1954-0062085-6
- MathSciNet review: 0062085