A non-standard truth definition
Author:
Robert McNaughton
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
Full-text PDF Free Access
References | Similar Articles | Additional Information
- Hao Wang, The irreducibility of impredicative principles, Math. Ann. 125 (1952), 56–66. MR 51183, DOI https://doi.org/10.1007/BF01343107
- Hao Wang, Truth definitions and consistency proofs, Trans. Amer. Math. Soc. 73 (1952), 243–275. MR 49136, DOI https://doi.org/10.1090/S0002-9947-1952-0049136-2
- Robert McNaughton, Some formal relative consistency proofs, J. Symbolic Logic 18 (1953), 136–144. MR 55280, DOI https://doi.org/10.2307/2268946
- Leon Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81–91. MR 36188, DOI https://doi.org/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 https://doi.org/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 https://doi.org/10.4064/fm-39-1-133-158
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.0X
Retrieve articles in all journals with MSC: 02.0X
Additional Information
Article copyright:
© Copyright 1954
American Mathematical Society