Adlešić, Tin; Čačić, Vedran A modern rigorous approach to stratification in NF/NFU. (English) Zbl 07603236 Log. Univers. 16, No. 3, 451-468 (2022). MSC: 03E20 03-02 03-08 PDFBibTeX XMLCite \textit{T. Adlešić} and \textit{V. Čačić}, Log. Univers. 16, No. 3, 451--468 (2022; Zbl 07603236) Full Text: DOI
Cantini, Andrea A fixed point theory over stratified truth. (English) Zbl 1521.03207 Math. Log. Q. 66, No. 4, 380-394 (2020). MSC: 03E70 03A05 PDFBibTeX XMLCite \textit{A. Cantini}, Math. Log. Q. 66, No. 4, 380--394 (2020; Zbl 1521.03207) Full Text: DOI
Gorbow, Paul K. Algebraic new foundations. (English) Zbl 1440.18005 J. Symb. Log. 84, No. 2, 798-832 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03C62 03E30 03E35 03G30 18C50 PDFBibTeX XMLCite \textit{P. K. Gorbow}, J. Symb. Log. 84, No. 2, 798--832 (2019; Zbl 1440.18005) Full Text: DOI
Usó-Doménech, José Luis; Nescolarde-Selva, Josué Antonio; Gash, Hugh Universe of discourse and existence. (English) Zbl 1402.03017 Mathematics 6, No. 11, Paper No. 272, 19 p. (2018). MSC: 03A05 PDFBibTeX XMLCite \textit{J. L. Usó-Doménech} et al., Mathematics 6, No. 11, Paper No. 272, 19 p. (2018; Zbl 1402.03017) Full Text: DOI
Thomas, Morgan Approximating Cartesian closed categories in NF-style set theories. (English) Zbl 1436.03269 J. Philos. Log. 47, No. 1, 143-160 (2018). MSC: 03E70 18D15 PDFBibTeX XMLCite \textit{M. Thomas}, J. Philos. Log. 47, No. 1, 143--160 (2018; Zbl 1436.03269) Full Text: DOI
McKenzie, Zachiri Automorphisms of models of set theory and extensions of NFU. (English) Zbl 1372.03084 Ann. Pure Appl. Logic 166, No. 5, 601-638 (2015). MSC: 03C62 03E70 03E65 03C65 PDFBibTeX XMLCite \textit{Z. McKenzie}, Ann. Pure Appl. Logic 166, No. 5, 601--638 (2015; Zbl 1372.03084) Full Text: DOI arXiv
Barkley Rosser, J. jun. On the foundations of mathematical economics. (English) Zbl 1298.91073 New Math. Nat. Comput. 8, No. 1, 53-72 (2012). Reviewer: Fernando Tohmé (Bahia Blanca) MSC: 91B02 03F60 03H10 PDFBibTeX XMLCite \textit{J. Barkley Rosser jun.}, New Math. Nat. Comput. 8, No. 1, 53--72 (2012; Zbl 1298.91073) Full Text: DOI
Holmes, M. Randall The usual model construction for NFU preserves information. (English) Zbl 1284.03239 Notre Dame J. Formal Logic 53, No. 4, 571-580 (2012). MSC: 03E70 PDFBibTeX XMLCite \textit{M. R. Holmes}, Notre Dame J. Formal Logic 53, No. 4, 571--580 (2012; Zbl 1284.03239) Full Text: DOI Euclid
Engeler, Erwin In memoriam: Ernst Specker, 1920-2011. (English) Zbl 1246.01030 Bull. Symb. Log. 18, No. 3, 413-417 (2012). MSC: 01A70 PDFBibTeX XMLCite \textit{E. Engeler}, Bull. Symb. Log. 18, No. 3, 413--417 (2012; Zbl 1246.01030) Full Text: DOI Euclid
Holmes, M. Randall Symmetry as a criterion for comprehension motivating Quine’s ‘New Foundations’. (English) Zbl 1138.03042 Stud. Log. 88, No. 2, 195-213 (2008). MSC: 03E70 PDFBibTeX XMLCite \textit{M. R. Holmes}, Stud. Log. 88, No. 2, 195--213 (2008; Zbl 1138.03042) Full Text: DOI
Decock, Lieven Inception of Quine’s ontology. (English) Zbl 1057.03001 Hist. Philos. Log. 25, No. 2, 111-130 (2004). MSC: 03-03 03A05 00A30 01A60 PDFBibTeX XMLCite \textit{L. Decock}, Hist. Philos. Log. 25, No. 2, 111--130 (2004; Zbl 1057.03001) Full Text: DOI
Holmes, M. Randall Strong axioms of infinity in NFU. (English) Zbl 0986.03038 J. Symb. Log. 66, No. 1, 87-116 (2001); Errata ibid. 66, No. 4, 1974 (2001). MSC: 03E70 PDFBibTeX XMLCite \textit{M. R. Holmes}, J. Symb. Log. 66, No. 1, 87--116 (2001); Errata ibid. 66, No. 4, 1974 (2001; Zbl 0986.03038) Full Text: DOI
Holmes, M. Randall Subsystems of Quine’s “New Foundations” with predicativity restrictions. (English) Zbl 0993.03066 Notre Dame J. Formal Logic 40, No. 2, 183-196 (1999). MSC: 03E70 03B15 03F35 PDFBibTeX XMLCite \textit{M. R. Holmes}, Notre Dame J. Formal Logic 40, No. 2, 183--196 (1999; Zbl 0993.03066) Full Text: DOI
Crabbé, Marcel The 3-stratifiable theorems of \(\text{NFU}_\infty\). (English) Zbl 0972.03051 Notre Dame J. Formal Logic 40, No. 2, 174-182 (1999). MSC: 03E70 03B15 03B30 PDFBibTeX XMLCite \textit{M. Crabbé}, Notre Dame J. Formal Logic 40, No. 2, 174--182 (1999; Zbl 0972.03051) Full Text: DOI
Körner, Friederike Automorphisms moving all non-algebraic points and an application to NF. (English) Zbl 0919.03031 J. Symb. Log. 63, No. 3, 815-830 (1998). Reviewer: M.Weese (Potsdam) MSC: 03C50 03E70 03E35 03C57 PDFBibTeX XMLCite \textit{F. Körner}, J. Symb. Log. 63, No. 3, 815--830 (1998; Zbl 0919.03031) Full Text: DOI
Antonelli, Gian Aldo Extensional quotients for type theory and the consistency problem for NF. (English) Zbl 0904.03030 J. Symb. Log. 63, No. 1, 247-261 (1998). Reviewer: A.Cantini (Firenze) MSC: 03E70 PDFBibTeX XMLCite \textit{G. A. Antonelli}, J. Symb. Log. 63, No. 1, 247--261 (1998; Zbl 0904.03030) Full Text: DOI
Forti, Marco; Honsell, Furio Choice principles in hyperuniverses. (English) Zbl 0857.03032 Ann. Pure Appl. Logic 77, No. 1, 35-52 (1996). Reviewer: N.H.Williams (Brisbane) MSC: 03E70 03E25 03E35 PDFBibTeX XMLCite \textit{M. Forti} and \textit{F. Honsell}, Ann. Pure Appl. Logic 77, No. 1, 35--52 (1996; Zbl 0857.03032) Full Text: DOI
Holmes, M. Randall The equivalence of NF-style set theories with “tangled” type theories; the construction of \(\omega\)-models of predicative NF (and more). (English) Zbl 0819.03044 J. Symb. Log. 60, No. 1, 178-190 (1995). MSC: 03E70 03C62 03E35 PDFBibTeX XMLCite \textit{M. R. Holmes}, J. Symb. Log. 60, No. 1, 178--190 (1995; Zbl 0819.03044) Full Text: DOI
Holmes, M. Randall Systems of combinatory logic related to predicative and “mildly impredicative” fragments of Quine’s “New Foundations”. (English) Zbl 0771.03005 Ann. Pure Appl. Logic 59, No. 1, 45-53 (1993). MSC: 03B40 03E70 PDFBibTeX XMLCite \textit{M. R. Holmes}, Ann. Pure Appl. Logic 59, No. 1, 45--53 (1993; Zbl 0771.03005) Full Text: DOI
Cocchiarella, Nino B. Conceptual realism versus Quine on classes and higher-order logic. (English) Zbl 0763.03005 Synthese 90, No. 3, 379-436 (1992). Reviewer: R.Wallace Garden (Thames) MSC: 03A05 03E70 PDFBibTeX XMLCite \textit{N. B. Cocchiarella}, Synthese 90, No. 3, 379--436 (1992; Zbl 0763.03005) Full Text: DOI
Holmes, M. Randall Systems of combinatory logic related to Quine’s ‘New Foundations’. (English) Zbl 0733.03009 Ann. Pure Appl. Logic 53, No. 2, 103-133 (1991). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 03E70 PDFBibTeX XMLCite \textit{M. R. Holmes}, Ann. Pure Appl. Logic 53, No. 2, 103--133 (1991; Zbl 0733.03009) Full Text: DOI
Crabbé, Marcel Stratification and cut-elimination. (English) Zbl 0735.03027 J. Symb. Log. 56, No. 1, 213-226 (1991). MSC: 03F05 03E70 PDFBibTeX XMLCite \textit{M. Crabbé}, J. Symb. Log. 56, No. 1, 213--226 (1991; Zbl 0735.03027) Full Text: DOI
Forster, T. E. The status of the axiom of choice in set theory with a universal set. (English) Zbl 0626.03043 J. Symb. Log. 50, 701-707 (1985). Reviewer: Moh Shawkwei MSC: 03E25 PDFBibTeX XMLCite \textit{T. E. Forster}, J. Symb. Log. 50, 701--707 (1985; Zbl 0626.03043) Full Text: DOI
Cocchiarella, Nino B. Frege’s double correlation thesis and Quine’s set theories NF and ML. (English) Zbl 0593.03002 J. Philos. Logic 14, 1-39 (1985). Reviewer: R.Wallace Garden MSC: 03A05 03E30 03-03 01A60 PDFBibTeX XMLCite \textit{N. B. Cocchiarella}, J. Philos. Log. 14, 1--39 (1985; Zbl 0593.03002) Full Text: DOI
Boffa, Maurice; Casalegno, Paolo The consistency of some 4-stratified subsystem of NF including \(NF_ 3\). (English) Zbl 0567.03024 J. Symb. Log. 50, 407-411 (1985). MSC: 03E35 PDFBibTeX XMLCite \textit{M. Boffa} and \textit{P. Casalegno}, J. Symb. Log. 50, 407--411 (1985; Zbl 0567.03024) Full Text: DOI
Crabbé, Marcel Typical ambiguity and the axiom of choice. (English) Zbl 0572.03029 J. Symb. Log. 49, 1074-1078 (1984). MSC: 03E25 03B15 03E70 03E35 PDFBibTeX XMLCite \textit{M. Crabbé}, J. Symb. Log. 49, 1074--1078 (1984; Zbl 0572.03029) Full Text: DOI
Crabbe, Marcel On the consistency of an impredicative subsystem of Quine’s NF. (English) Zbl 0487.03024 J. Symb. Log. 47, 131-136 (1982). MSC: 03E30 03E35 03F05 PDFBibTeX XMLCite \textit{M. Crabbe}, J. Symb. Log. 47, 131--136 (1982; Zbl 0487.03024) Full Text: DOI
Boffa, M. The consistency problem for NF. (English) Zbl 0377.02040 J. Symb. Log. 42, 215-220 (1977). MSC: 03E35 03-02 PDFBibTeX XMLCite \textit{M. Boffa}, J. Symb. Log. 42, 215--220 (1977; Zbl 0377.02040) Full Text: DOI
Boffa, Maurice Sets equipollent to their power set in NF. (English) Zbl 0327.02052 J. Symb. Log. 40, 149-150 (1975). MSC: 03E70 PDFBibTeX XMLCite \textit{M. Boffa}, J. Symb. Log. 40, 149--150 (1975; Zbl 0327.02052) Full Text: DOI
Henson, C. Ward Type-raising operations on cardinal and ordinal numbers in Quine’s ”New foundations”. (English) Zbl 0259.02049 J. Symb. Log. 38, 59-68 (1973). MSC: 03E30 03E70 PDFBibTeX XMLCite \textit{C. W. Henson}, J. Symb. Log. 38, 59--68 (1973; Zbl 0259.02049) Full Text: DOI
Da Costa, Newton C. A. On a set theory suggested by Dedecker and Ehresmann. II. (English) Zbl 0204.31303 Proc. Japan Acad. 45, 885-888 (1969). PDFBibTeX XMLCite \textit{N. C. A. Da Costa}, Proc. Japan Acad. 45, 885--888 (1969; Zbl 0204.31303) Full Text: DOI
Henson, C. W. Finite sets in Quine’s new foundations. (English) Zbl 0191.30102 J. Symb. Log. 34, 589-596 (1969). PDFBibTeX XMLCite \textit{C. W. Henson}, J. Symb. Log. 34, 589--596 (1969; Zbl 0191.30102) Full Text: DOI
Jensen, R. B. On the consistency of a slight (?) modification of Quine’s ’New Foundations’. (English) Zbl 0202.01001 Synthese 19, 250-263 (1968). PDFBibTeX XMLCite \textit{R. B. Jensen}, Synthese 19, 250--263 (1968; Zbl 0202.01001) Full Text: DOI
Stanley, R. L. The axiom for connected sets. (English) Zbl 0132.25003 Proc. Am. Math. Soc. 12, 442-446 (1961). PDFBibTeX XMLCite \textit{R. L. Stanley}, Proc. Am. Math. Soc. 12, 442--446 (1961; Zbl 0132.25003) Full Text: DOI
Orey, Steven On the relative consistency of set theory. (English) Zbl 0073.25201 J. Symb. Log. 21, 280-290 (1956). PDFBibTeX XMLCite \textit{S. Orey}, J. Symb. Log. 21, 280--290 (1956; Zbl 0073.25201) Full Text: DOI
Quine, W. V. Unification of universes in set theory. (English) Zbl 0073.25104 J. Symb. Log. 21, 267-279 (1956). PDFBibTeX XMLCite \textit{W. V. Quine}, J. Symb. Log. 21, 267--279 (1956; Zbl 0073.25104) Full Text: DOI
Orey, Steven Formal development of ordinal number theory. (English) Zbl 0067.25301 J. Symb. Log. 20, 95-104 (1955). PDFBibTeX XMLCite \textit{S. Orey}, J. Symb. Log. 20, 95--104 (1955; Zbl 0067.25301) Full Text: DOI
Beneš, Václav Edvard A partial model for Quine’s ”New foundations”. (English) Zbl 0058.00703 J. Symb. Log. 19, 197-200 (1954). PDFBibTeX XMLCite \textit{V. E. Beneš}, J. Symb. Log. 19, 197--200 (1954; Zbl 0058.00703) Full Text: DOI