A reduction of the theory of types

M. Boffa, On the axiomatization of NF, Colloque International de Logique, Clermont-Ferrand 1975. (to appear)
Google Scholar
—, The consistency problem for NF, J.S.L. (to appear)
Google Scholar
M. Boffa & M. Crabbe, Les théorèms 3-stratifiés de NF₃, C.R. Acad. Sc. Paris 280 (1975), p. 1657–1658.
MathSciNet MATH Google Scholar
Chang & Keisler, Model theory, North-Holland (1973).
Google Scholar
Fraenkel & Bar-Hillel & Levy, Foundations of set theory, North-Holland (1973).
Google Scholar
V. Grišin, Consistency of a fragment of Quine's NF system, Soviet Math. Dokl. 10 (1969), p. 1387–1390.
MATH Google Scholar
—, The equivalence of Quine's NF system to one of its fragments, Nauchno-Tekhnicheskaya Informatsiya, ser. 2, n^o 1 (1972), p. 22–24 (in russian).
Google Scholar
E. Specker, Typical ambiguity, Logic, Methodology and Philosophy of Science (Proc. 1960 Intern. Congr.), Stanford (1962), p. 116–124.
Google Scholar
B. Węglorz, A model of set theory over a given boolean algebra, Bull. Acad. Polon. Sc. Math. 17 (1969), p.201–202.
MathSciNet MATH Google Scholar

Download references

Authors

M. Boffa
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Alistair Lachlan Marian Srebrny Andrzej Zarach

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Boffa, M. (1977). A reduction of the theory of types. 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/BFb0067644

Download citation

DOI: https://doi.org/10.1007/BFb0067644
Published: 27 August 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08521-8
Online ISBN: 978-3-540-37032-1
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

A reduction of the theory of types

Access this chapter

Preview

References