Keywords
- Boolean Algebra
- Elementary Theory
- Similar Proof
- Finite Extension
- Side Theor
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, access via your 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
M. Boffa, On the axiomatization of NF, Colloque International de Logique, Clermont-Ferrand 1975. (to appear)
—, The consistency problem for NF, J.S.L. (to appear)
M. Boffa & M. Crabbe, Les théorèms 3-stratifiés de NF3, C.R. Acad. Sc. Paris 280 (1975), p. 1657–1658.
Chang & Keisler, Model theory, North-Holland (1973).
Fraenkel & Bar-Hillel & Levy, Foundations of set theory, North-Holland (1973).
V. Grišin, Consistency of a fragment of Quine's NF system, Soviet Math. Dokl. 10 (1969), p. 1387–1390.
—, The equivalence of Quine's NF system to one of its fragments, Nauchno-Tekhnicheskaya Informatsiya, ser. 2, no 1 (1972), p. 22–24 (in russian).
E. Specker, Typical ambiguity, Logic, Methodology and Philosophy of Science (Proc. 1960 Intern. Congr.), Stanford (1962), p. 116–124.
B. Węglorz, A model of set theory over a given boolean algebra, Bull. Acad. Polon. Sc. Math. 17 (1969), p.201–202.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag
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:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08521-8
Online ISBN: 978-3-540-37032-1
eBook Packages: Springer Book Archive
