Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland Prospects for a naive theory of classes. (English) Zbl 1417.03272 Notre Dame J. Formal Logic 58, No. 4, 461-506 (2017). MSC: 03E70 03B60 PDF BibTeX XML Cite \textit{H. Field} et al., Notre Dame J. Formal Logic 58, No. 4, 461--506 (2017; Zbl 1417.03272) Full Text: DOI
Hossack, Keith Sets and plural comprehension. (English) Zbl 1302.03019 J. Philos. Log. 43, No. 2-3, 517-539 (2014). MSC: 03A05 03E70 PDF BibTeX XML Cite \textit{K. Hossack}, J. Philos. Log. 43, No. 2--3, 517--539 (2014; Zbl 1302.03019) Full Text: DOI
Goldstein, Laurence Paradoxical partners: semantical brides and set-theoretical grooms. (English) Zbl 1264.03016 Analysis, Oxf. 73, No. 1, 33-37 (2013). MSC: 03A05 PDF BibTeX XML Cite \textit{L. Goldstein}, Analysis, Oxf. 73, No. 1, 33--37 (2013; Zbl 1264.03016) Full Text: DOI
Weber, Zach Reply to Bjørdal. (English) Zbl 1280.03032 Rev. Symb. Log. 4, No. 1, 109-113 (2011). MSC: 03B53 03E30 03E70 PDF BibTeX XML Cite \textit{Z. Weber}, Rev. Symb. Log. 4, No. 1, 109--113 (2011; Zbl 1280.03032) Full Text: DOI
Weber, Zach Transfinite numbers in paraconsistent set theory. (English) Zbl 1197.03026 Rev. Symb. Log. 3, No. 1, 71-92 (2010). MSC: 03B53 03E30 03E70 PDF BibTeX XML Cite \textit{Z. Weber}, Rev. Symb. Log. 3, No. 1, 71--92 (2010; Zbl 1197.03026) Full Text: DOI
Villadsen, Jørgen Nominalistic logic: from naive set theory to intensional type theory. (English) Zbl 1226.03021 Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 57-85 (2008). MSC: 03B15 PDF BibTeX XML Cite \textit{J. Villadsen}, in: New approaches to classes and concepts. Based on the workshop ``Alternative set theories -- Alternatives to set theory'', University of Southern Denmark, June 2, 2006. London: College Publications. 57--85 (2008; Zbl 1226.03021)
Welch, P. D. Ultimate truth vis-à-vis stable truth. (English) Zbl 1204.03016 Rev. Symb. Log. 1, No. 1, 126-142 (2008). MSC: 03A05 03C62 03F35 PDF BibTeX XML Cite \textit{P. D. Welch}, Rev. Symb. Log. 1, No. 1, 126--142 (2008; Zbl 1204.03016) Full Text: DOI
Crabbé, Marcel Cuts and gluts. (English) Zbl 1185.03044 J. Appl. Non-Class. Log. 15, No. 3, 249-263 (2005). MSC: 03B53 03F05 PDF BibTeX XML Cite \textit{M. Crabbé}, J. Appl. Non-Class. Log. 15, No. 3, 249--263 (2005; Zbl 1185.03044) Full Text: DOI
Möllerfeld, Michael Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. (English) Zbl 1050.03040 Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002). Reviewer: Anton Setzer (Swansea) MSC: 03F25 03F03 03D70 03D60 03-02 03F35 03E70 PDF BibTeX XML Cite \textit{M. Möllerfeld}, Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (2002; Zbl 1050.03040)
Taylor, Paul Subspaces in abstract Stone duality. (English) Zbl 1008.18005 Theory Appl. Categ. 10, 301-368 (2002). MSC: 18B30 03G30 06D22 06E15 54B30 18C20 18E10 54C35 54D45 PDF BibTeX XML Cite \textit{P. Taylor}, Theory Appl. Categ. 10, 301--368 (2002; Zbl 1008.18005) Full Text: EMIS EuDML
Buchholz, Wilfried Explaining the Gentzen-Takeuti reduction steps: A second-order system. (English) Zbl 1007.03051 Arch. Math. Logic 40, No. 4, 255-272 (2001). Reviewer: Anton Setzer (Swansea) MSC: 03F05 03F15 03F03 03F35 PDF BibTeX XML Cite \textit{W. Buchholz}, Arch. Math. Logic 40, No. 4, 255--272 (2001; Zbl 1007.03051) Full Text: DOI
Esser, Olivier Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\). (English) Zbl 0971.03051 J. Symb. Log. 65, No. 4, 1911-1916 (2000). MSC: 03E70 03E25 03E35 PDF BibTeX XML Cite \textit{O. Esser}, J. Symb. Log. 65, No. 4, 1911--1916 (2000; Zbl 0971.03051) Full Text: DOI
Shapiro, Stewart; Weir, Alan “Neo-logicist” logic is not epistemically innocent. (English) Zbl 0966.03002 Philos. Math. (3) 8, No. 2, 160-189 (2000). Reviewer: Lars Löfgren (Lund) MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{S. Shapiro} and \textit{A. Weir}, Philos. Math. (3) 8, No. 2, 160--189 (2000; Zbl 0966.03002) Full Text: DOI
Grishin, V. N. Weight of the comprehension axiom in a theory based on logic without contractions. (English. Russian original) Zbl 0965.03063 Math. Notes 66, No. 5, 533-540 (1999); translation from Mat. Zametki 66, No. 5, 643-652 (1999). MSC: 03E70 03F52 03F07 PDF BibTeX XML Cite \textit{V. N. Grishin}, Math. Notes 66, No. 5, 533--540 (1999; Zbl 0965.03063); translation from Mat. Zametki 66, No. 5, 643--652 (1999) Full Text: DOI
Cantini, Andrea; Minari, Pierluigi Uniform inseparability in explicit mathematics. (English) Zbl 0926.03075 J. Symb. Log. 64, No. 1, 313-326 (1999). MSC: 03F50 PDF BibTeX XML Cite \textit{A. Cantini} and \textit{P. Minari}, J. Symb. Log. 64, No. 1, 313--326 (1999; Zbl 0926.03075) Full Text: DOI
Cantini, Andrea Relating Quine’s NF to Feferman’s EM. (English) Zbl 0923.03068 Stud. Log. 62, No. 2, 141-162 (1999). Reviewer: G.Mints (Stanford) MSC: 03F50 03E70 PDF BibTeX XML Cite \textit{A. Cantini}, Stud. Log. 62, No. 2, 141--162 (1999; Zbl 0923.03068) Full Text: DOI
Mertz, D. W. The logic of instance ontology. (English) Zbl 0923.03012 J. Philos. Log. 28, No. 1, 81-111 (1999). MSC: 03A05 PDF BibTeX XML Cite \textit{D. W. Mertz}, J. Philos. Log. 28, No. 1, 81--111 (1999; Zbl 0923.03012) Full Text: DOI
Shirahata, Masaru Linear set theory with strict comprehension. (English) Zbl 0990.03038 Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 223-245 (1998). MSC: 03E30 03F52 03E35 03F05 PDF BibTeX XML Cite \textit{M. Shirahata}, in: Proceedings of the 6th Asian logic conference, Beijing, China, May 20--24, 1996. Singapore: World Scientific; Singapore: Singapore University Press. 223--245 (1998; Zbl 0990.03038)
Kohlenbach, Ulrich Arithmetizing proofs in analysis. (English) Zbl 0919.03046 Larrazabal, J. M. (ed.) et al., Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9–15, 1996. Berlin: Springer. Lect. Notes Log. 12, 115-158 (1998). Reviewer: G.Mints (Stanford) MSC: 03F35 03F03 PDF BibTeX XML Cite \textit{U. Kohlenbach}, Lect. Notes Log. 12, 115--158 (1998; Zbl 0919.03046)
Jäger, Gerhard Power types in explicit mathematics? (English) Zbl 0893.03022 J. Symb. Log. 62, No. 4, 1114-1146 (1997). MSC: 03F50 03F35 03F65 PDF BibTeX XML Cite \textit{G. Jäger}, J. Symb. Log. 62, No. 4, 1114--1146 (1997; Zbl 0893.03022) Full Text: DOI
Hájek, Petr Magari and others on Gödel’s ontological proof. (English) Zbl 0859.03010 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 125-135 (1996). Reviewer: U.Scheffler (Berlin) MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{P. Hájek}, Lect. Notes Pure Appl. Math. 180, 125--135 (1996; Zbl 0859.03010)
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 PDF BibTeX XML Cite \textit{M. Forti} and \textit{F. Honsell}, Ann. Pure Appl. Logic 77, No. 1, 35--52 (1996; Zbl 0857.03032) Full Text: DOI
Mytilinaios, Michael E.; Slaman, Theodore A. On a question of Brown and Simpson. (English) Zbl 0835.03026 Cooper, S. B. (ed.) et al., Computability, enumerability, unsolvability. Directions in recursion theory. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 224, 205-218 (1996). MSC: 03F35 PDF BibTeX XML Cite \textit{M. E. Mytilinaios} and \textit{T. A. Slaman}, Lond. Math. Soc. Lect. Note Ser. 224, 205--218 (1996; Zbl 0835.03026)
Schmerl, James H. A reflection principle and its applications to nonstandard models. (English) Zbl 0847.03032 J. Symb. Log. 60, No. 4, 1137-1152 (1995). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H15 PDF BibTeX XML Cite \textit{J. H. Schmerl}, J. Symb. Log. 60, No. 4, 1137--1152 (1995; Zbl 0847.03032) Full Text: DOI
Tupailo, Sergei Normalization for arithmetical comprehension with restricted occurrences of Hilbert’s epsilon-symbol. (English) Zbl 0799.03069 Eesti Tead. Akad. Toim., Füüs. Mat. 42, No. 4, 289-299 (1993). MSC: 03F35 03F05 03E25 PDF BibTeX XML Cite \textit{S. Tupailo}, Eesti Tead. Akad. Toim., Füüs. Mat. 42, No. 4, 289--299 (1993; Zbl 0799.03069)
Sochor, A. Interpretations of the alternative set theory. (English) Zbl 0792.03036 Arch. Math. Logic 32, No. 6, 391-398 (1993). Reviewer: K.Čuda (Praha) MSC: 03E70 03E35 03F35 PDF BibTeX XML Cite \textit{A. Sochor}, Arch. Math. Logic 32, No. 6, 391--398 (1993; Zbl 0792.03036) Full Text: DOI
Murawski, Roman Iterations of satisfaction classes and expansions of models of Peano arithmetic. (English) Zbl 0803.03040 Z. Math. Logik Grundlagen Math. 38, No. 1, 59-84 (1992). Reviewer: R.Kossak (New York) MSC: 03F35 03C62 PDF BibTeX XML Cite \textit{R. Murawski}, Z. Math. Logik Grundlagen Math. 38, No. 1, 59--84 (1992; Zbl 0803.03040) Full Text: DOI
Lenzi, Giacomo Weydert’s \(SF_ 3\) has no recursive term model. (English) Zbl 0786.03038 Bull. Soc. Math. Belg., Sér. B 44, No. 3, 311-327 (1992). MSC: 03E70 PDF BibTeX XML Cite \textit{G. Lenzi}, Bull. Soc. Math. Belg., Sér. B 44, No. 3, 311--327 (1992; Zbl 0786.03038)
Jäger, Gerhard; Primo, Barbara About the proof-theoretic ordinals of weak fixed point theories. (English) Zbl 0766.03033 J. Symb. Log. 57, No. 3, 1108-1119 (1992). Reviewer: G.Mints (Stanford) MSC: 03F15 03F35 PDF BibTeX XML Cite \textit{G. Jäger} and \textit{B. Primo}, J. Symb. Log. 57, No. 3, 1108--1119 (1992; Zbl 0766.03033) Full Text: DOI
Crabbé, Marcel On NFU. (English) Zbl 0766.03031 Notre Dame J. Formal Logic 33, No. 1, 112-119 (1992). MSC: 03E70 03E35 PDF BibTeX XML Cite \textit{M. Crabbé}, Notre Dame J. Formal Logic 33, No. 1, 112--119 (1992; Zbl 0766.03031) Full Text: DOI
Zhang, Jinwen A hierarchy of axiom system ACG. (English) Zbl 0689.03025 Sci. China, Ser. A 33, No. 2, 129-134 (1990). MSC: 03E75 03E35 18A15 PDF BibTeX XML Cite \textit{J. Zhang}, Sci. China, Ser. A 33, No. 2, 129--134 (1990; Zbl 0689.03025)
Heidema, Johannes An axiom schema of comprehension of Zermelo-Fraenkel-Skolem set theory. (English) Zbl 0688.03003 Hist. Philos. Log. 11, No. 1, 59-65 (1990). Reviewer: A.Garciadiego MSC: 03A05 03E30 03B30 PDF BibTeX XML Cite \textit{J. Heidema}, Hist. Philos. Log. 11, No. 1, 59--65 (1990; Zbl 0688.03003) Full Text: DOI
Brady, R. T.; Routley, R. The non-triviality of extensional dialectical set theory. (English) Zbl 0691.03037 Paraconsistent logic, Essays on the inconsistent, 415-436 (1989). Reviewer: G.Priest MSC: 03E70 03B60 PDF BibTeX XML
Clote, P. The metamathematics of scattered linear orderings. (English) Zbl 0652.03039 Arch. Math. Logic 29, No. 1, 9-20 (1989). Reviewer: P.Clote MSC: 03F30 06A05 03E50 PDF BibTeX XML Cite \textit{P. Clote}, Arch. Math. Logic 29, No. 1, 9--20 (1989; Zbl 0652.03039) Full Text: DOI
Xiao, Xi’an; Zhu, Wujia A system of medium axiomatic set theory. (English) Zbl 0675.03031 Sci. Sin., Ser. A 31, No. 11, 1320-1335 (1988). Reviewer: Mo Shaokui MSC: 03E70 03E72 PDF BibTeX XML Cite \textit{X. Xiao} and \textit{W. Zhu}, Sci. Sin., Ser. A 31, No. 11, 1320--1335 (1988; Zbl 0675.03031)
Heinzmann, Gerhard (ed.) Poincaré, Russell, Zermelo et Peano. Textes de la discussion (1906- 1912) sur les fondements des mathématiques: des antinomies à la prédicativité. (Poincaré, Russell, Zermelo and Peano. Texts of the discussion (1906-1912) on the foundations of mathematics: from paradoxes to predicativity). (French) Zbl 0669.01027 Bibliothèque Scientifique Albert Blanchard. Paris: Librairie Scientifique et Technique Albert Blanchard. 333 p.; FF 190.00 (1986). MSC: 01A75 01A05 00A30 PDF BibTeX XML
Bunder, M. W. Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality. (English) Zbl 0623.03048 J. Non-Classical Logic 3, No. 2, 5-12 (1986). MSC: 03E30 03E35 03E70 PDF BibTeX XML
Brown, Douglas K.; Simpson, Stephen G. Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (English) Zbl 0615.03044 Ann. Pure Appl. Logic 31, 123-144 (1986). Reviewer: H.Schwichtenberg MSC: 03F35 PDF BibTeX XML Cite \textit{D. K. Brown} and \textit{S. G. Simpson}, Ann. Pure Appl. Logic 31, 123--144 (1986; Zbl 0615.03044) Full Text: DOI
Ozawa, Masanao; Waragai, Toshiharu Set theory and Leśniewski’s ontology. (English) Zbl 0596.03020 Ann. Jap. Assoc. Philos. Sci. 6, 261-272 (1985). Reviewer: V.Rantala MSC: 03B60 03A05 03E99 PDF BibTeX XML Cite \textit{M. Ozawa} and \textit{T. Waragai}, Ann. Japan Assoc. Philos. Sci. 6, 261--272 (1985; Zbl 0596.03020) Full Text: DOI
Ressayre, Jean-Pierre Deux fantaisies d’univers non standard. (Two fantasies of non standard universes). (French) Zbl 0587.03041 C. R. Acad. Sci., Paris, Sér. I 299, 583-586 (1984). MSC: 03E99 03H99 PDF BibTeX XML Cite \textit{J.-P. Ressayre}, C. R. Acad. Sci., Paris, Sér. I 299, 583--586 (1984; Zbl 0587.03041)
Simpson, Stephen G. Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? (English) Zbl 0584.03039 J. Symb. Log. 49, 783-802 (1984). Reviewer: D.Bridges MSC: 03E75 34A12 03F60 PDF BibTeX XML Cite \textit{S. G. Simpson}, J. Symb. Log. 49, 783--802 (1984; Zbl 0584.03039) Full Text: DOI
Vayl, V. On deductibility of the axiom of choice from comprehension axioms which contain \(\epsilon\)-operator. (English) Zbl 0534.03025 Logique Anal., Nouv. Sér. 26, 99-102 (1983). Reviewer: K.Gloede MSC: 03E25 03E20 03B20 PDF BibTeX XML Cite \textit{V. Vayl}, Log. Anal., Nouv. Sér. 26, 99--102 (1983; Zbl 0534.03025)
Ragaz, Matthias Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. (German) Zbl 0533.03008 Arch. Math. Logik Grundlagenforsch. 23, 141-146 (1983). MSC: 03B50 03E70 03D35 PDF BibTeX XML Cite \textit{M. Ragaz}, Arch. Math. Logik Grundlagenforsch. 23, 141--146 (1983; Zbl 0533.03008) Full Text: DOI EuDML
Brady, Ross T. The simple consistency of a set theory based on the logic CSQ. (English) Zbl 0488.03026 Notre Dame J. Formal Logic 24, 431-449 (1983). MSC: 03E35 03E70 03B60 PDF BibTeX XML Cite \textit{R. T. Brady}, Notre Dame J. Formal Logic 24, 431--449 (1983; Zbl 0488.03026) 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 PDF BibTeX XML Cite \textit{M. Crabbe}, J. Symb. Log. 47, 131--136 (1982; Zbl 0487.03024) Full Text: DOI
Corrada, Manuel Parameters in theories of classes. (English) Zbl 0428.03047 Mathematical logic in Latin America, Proc. Symp., Santiago 1978, 121-132 (1980). MSC: 03E65 PDF BibTeX XML
Bochvar, D. A. Measures of kernels of reducibility axioms and singlets. (English) Zbl 0443.03022 Stud. Log. 38, 393-400 (1979). MSC: 03E65 PDF BibTeX XML Cite \textit{D. A. Bochvar}, Stud. Log. 38, 393--400 (1979; Zbl 0443.03022) Full Text: DOI
White, Richard B. The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz. (English) Zbl 0418.03037 J. Philos. Logic 8, 509-534 (1979). MSC: 03F05 03B50 03E35 03E65 03F25 PDF BibTeX XML Cite \textit{R. B. White}, J. Philos. Log. 8, 509--534 (1979; Zbl 0418.03037) Full Text: DOI
Klaua, Dieter Mengenlehre. (German) Zbl 0407.04002 De Gruyter-Lehrbuch. Berlin, New York: Walter de Gruyter. 358 S. DM 48.00 (1979). MSC: 03-01 03Exx PDF BibTeX XML
Crabbe, Marcel Ramification et predicativite. (French) Zbl 0449.03009 Logique Anal., Nouv. Sér. 21, 399-419 (1978). MSC: 03B15 03F25 PDF BibTeX XML Cite \textit{M. Crabbe}, Log. Anal., Nouv. Sér. 21, 399--419 (1978; Zbl 0449.03009)
Levin, A. M. One fragment of classical analysis. (English) Zbl 0413.03034 Mosc. Univ. Math. Bull. 33, No. 1, 1-6 (1978). MSC: 03F35 03E35 03E25 PDF BibTeX XML Cite \textit{A. M. Levin}, Mosc. Univ. Math. Bull. 33, No. 1, 1--6 (1978; Zbl 0413.03034)
Kanovej, V. G. The significance of the parameters and of the complexity of the basic formula in the comprehension axiom schema for second order arithmetic. (English. Russian original) Zbl 0413.03033 Sov. Math., Dokl. 19, 1556-1559 (1978); translation from Dokl. Akad. Nauk SSSR 243, 1384-1386 (1978). MSC: 03F35 03D99 03E50 PDF BibTeX XML Cite \textit{V. G. Kanovej}, Sov. Math., Dokl. 19, 1556--1559 (1978; Zbl 0413.03033); translation from Dokl. Akad. Nauk SSSR 243, 1384--1386 (1978)
Levin, A. M. On a fragment of classical analysis. (Russian) Zbl 0406.03071 Vestn. Mosk. Univ., Ser. I 1978, No. 1, 3-9 (1978). MSC: 03F35 03E35 03E25 PDF BibTeX XML Cite \textit{A. M. Levin}, Vestn. Mosk. Univ., Ser. I 1978, No. 1, 3--9 (1978; Zbl 0406.03071)
Bocvar, D. A.; Fukson, V. I. Comprehension axioms with homogeneous kernels. (Russian) Zbl 0406.03067 Studies in set theory and nonclassical logics, Work Collect., Moscow, 181-186 (1976). MSC: 03E55 03E65 PDF BibTeX XML
Grishin, V. N. Reduction of comprehension axioms of a given depth to comprehension axioms of smaller depth. (Russian) Zbl 0406.03066 Studies in set theory and nonclassical logics, Work Collect., Moscow, 174-180 (1976). MSC: 03E55 03E35 03E70 03E65 03B15 PDF BibTeX XML