Abstract
A detailed and fairly elementary introduction is given to the techniques used by Church to prove the consistency of his set theory with a universal set by constructing models of it from models of ZF. The construction is explained and some general facts about it proved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boffa, M., and Pétry, A. 1993 On self-membered sets in Quine’s set theory NF, Logique et Analyse, vol. 141-142, pp. 59–60.
Church, A. 1974 Set theory with a universal set, Proceedings of the Tarski symposium, Proceedings of Symposia in Pure Mathematics (L. Henkin, editor), vol. XXV, Providence, pp. 297–308; also in International Logic Review, vol. 15, pp. 11-23.
Forster, T. E. 1987 Term models for weak set theories with a universal set, The Journal of Symbolic Logic, vol. 52, pp. 374–387.
Forster, T. E. 1995 Set theory with a universal set: Exploring an untyped universe, second edition, Oxford Logic Guides, no. 31, Clarendon Press, Oxford.
Forster, T. E., and R. Kaye 1991 End-extensions preserving power set, The Journal of Symbolic Logic, vol. 56, pp. 323–328.8
Grishin, V. N. 1969 Consistency of a fragment of Quine’s NF system, Soviet Mathematics Doklady, vol. 10, pp. 1387–1390.
Henson, C. W. 1973b Permutation methods applied to NF, The Journal of Symbolic Logic, vol. 38, pp. 69–76.
Jensen, R. B. 1969 On the consistency of a slight (?) modification of Quine’s NF, Synthese, vol. 19, pp. 250–263.
Körner, F. 1994 Cofinal indiscernibles and some applications to New Foundations, Mathematical Logic Quarterly, vol. 40, pp. 347–356.
Mitchell, E. 1976 A model of set theory with a universal set, Ph.D. thesis, Madison, Wisconsin.
Oswald, U. 1976 Fragmente von “New Foundations” und typentheorie, Ph.D. thesis, ETH, Zürich, 46 pp.
Scott, D. S. 1962 Quine’s individuals, Logic, Methodology and Philosophy of Science (E. Nagel, editor), Stanford University Press, pp. 111–115.
Tarski, A. 1986 What are logical notions?, History and Philosophy of Logic, vol. 7, pp. 143–154.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Forster, T. (2001). Church’s Set Theory with a Universal Set. In: Anderson, C.A., Zelëny, M. (eds) Logic, Meaning and Computation. Synthese Library, vol 305. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0526-5_4
Download citation
DOI: https://doi.org/10.1007/978-94-010-0526-5_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3891-1
Online ISBN: 978-94-010-0526-5
eBook Packages: Springer Book Archive