Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math., 43 (1956) p. 50–68.
T. Forster, Ph. D. Thesis, University of Cambridge, 1976
C.W. Henson, Finite sets in Quine's New Foundations, J. Symbolic Logic, 34 (1969), p. 589–596.
C.W. Henson, Type-raising operations on cardinal and ordinal numbers in Quine's New Foundations, J. Symbolic Logic, 38 (1973), p. 59–68
A. Petry, Dissertation doctorale, Université de Liège.
W.V. Quine, New Foundations for mathematical logic, From a logical point of view, Harvard (1953), p. 80–101.
J.B. Rosser, Logic for mathematicians, McGraw-Hill, 1953.
W. Sierpiński, Cardinal and ordinal numbers, Warsaw 1965
E.P. Specker, The axiom of choice in Quine's New Foundations for mathematical logic, Proc. Nat. Sc. U.S.A., 39 (1953), p. 972–975.
R,L. Vaught, Review of [1], J. Symbolic, 31 (1966), p. 644–645.
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag
About this paper
Cite this paper
Petry, A. (1977). On cardinal numbers in Quine's New Foundations. In: Lachlan, A., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory V. Lecture Notes in Mathematics, vol 619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0067655
Download citation
DOI: https://doi.org/10.1007/BFb0067655
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08521-8
Online ISBN: 978-3-540-37032-1
eBook Packages: Springer Book Archive