Bibliography
A. Ehrenfeucht, and A. Mostowski, ‘Models of Axiomatic Theories admitting Automorphism’,Fundamenta Mathematica 43 (1956) 50–68.
P. Erdös, and R. Rado, ‘A Partition Calculus in Set Theory’,Bulletin of the American Mathematical Society 62 (1956) 427–488.
Th. Hailperin, ‘A Set of Axioms for Logic’,Journal of Symbolic Logic 9 (1944) 1–19.
G. Kreisel, and Hao Wang, ‘Some Applications of Formalized Consistency Proofs’,Fundamenta Mathematica 42 (1955) 101–110.
W. V. Quine, ‘New Foundations for Mathematical Logic’, reprinted inFrom a Logical Point of View, Harvard Univ. Press, Cambridge, Mass., 1953.
F. Ramsey, ‘On a Problem of Formal Logic’, reprinted inThe Foundations of Mathematics, Kegan Paul, London, 1931.
E. Specker, ‘The Axiom of Choice in Quine's “New Foundations for Mathematical Logic”’,Proceedings of the National Academy of Sciences, U.S.A. 29 (1953) 366–368.
E. Specker, ‘Typical Ambiguity in Logic’,Methodology and Philosophy of Science. Proceedings of the 1960 International Congress (ed. by E. Nagel, P. Suppes and A. Tarski), Stanford University Press, 1962, pp. 116–123.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jensen, R.B. On the consistency of a slight (?) Modification of quine'sMew Foundations . Synthese 19, 250–263 (1968). https://doi.org/10.1007/BF00568059
Issue Date:
DOI: https://doi.org/10.1007/BF00568059