Łełyk, Mateusz Zbigniew Model theory and proof theory of the global reflection principle. (English) Zbl 07691759 J. Symb. Log. 88, No. 2, 738-779 (2023). MSC: 03C62 03F30 03F35 03H15 PDFBibTeX XMLCite \textit{M. Z. Łełyk}, J. Symb. Log. 88, No. 2, 738--779 (2023; Zbl 07691759) Full Text: DOI
Kurahashi, Taishi A note on derivability conditions. (English) Zbl 1473.03037 J. Symb. Log. 85, No. 3, 1224-1253 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 PDFBibTeX XMLCite \textit{T. Kurahashi}, J. Symb. Log. 85, No. 3, 1224--1253 (2020; Zbl 1473.03037) Full Text: DOI arXiv
Yamagata, Yoriyuki Consistency proof of a fragment of PV with substitution in bounded arithmetic. (English) Zbl 1502.03020 J. Symb. Log. 83, No. 3, 1063-1090 (2018). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{Y. Yamagata}, J. Symb. Log. 83, No. 3, 1063--1090 (2018; Zbl 1502.03020) Full Text: DOI arXiv
Kikuchi, Makoto; Kurahashi, Taishi Universal Rosser predicates. (English) Zbl 1419.03034 J. Symb. Log. 82, No. 1, 292-302 (2017). MSC: 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{M. Kikuchi} and \textit{T. Kurahashi}, J. Symb. Log. 82, No. 1, 292--302 (2017; Zbl 1419.03034) Full Text: DOI
Kołodziejczyk, Leszek Aleksander End-extensions of models of weak arithmetic from complexity-theoretic containments. (English) Zbl 1376.03041 J. Symb. Log. 81, No. 3, 901-916 (2016). Reviewer: M. Yasuhara (Princeton) MSC: 03C62 03F99 68Q15 PDFBibTeX XMLCite \textit{L. A. Kołodziejczyk}, J. Symb. Log. 81, No. 3, 901--916 (2016; Zbl 1376.03041) Full Text: DOI arXiv
Rathjen, Michael Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman. (English) Zbl 1356.03082 J. Symb. Log. 81, No. 2, 742-754 (2016). Reviewer: Danko Ilik (Paris) MSC: 03E50 03F50 03E35 03F25 03C70 03E60 03E70 PDFBibTeX XMLCite \textit{M. Rathjen}, J. Symb. Log. 81, No. 2, 742--754 (2016; Zbl 1356.03082) Full Text: DOI arXiv
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. II: Degree spectra. (English) Zbl 1359.03035 J. Symb. Log. 80, No. 1, 145-178 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDFBibTeX XMLCite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 145--178 (2015; Zbl 1359.03035) Full Text: DOI Link
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. I: Computable categoricity. (English) Zbl 1359.03034 J. Symb. Log. 80, No. 1, 116-144 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDFBibTeX XMLCite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 116--144 (2015; Zbl 1359.03034) Full Text: DOI Link
Buss, Samuel R.; Kołodziejczyk, Leszek Aleksander; Thapen, Neil Fragments of approximate counting. (English) Zbl 1338.03107 J. Symb. Log. 79, No. 2, 496-525 (2014). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{S. R. Buss} et al., J. Symb. Log. 79, No. 2, 496--525 (2014; Zbl 1338.03107) Full Text: DOI Link
Van Wesep, Robert A. Satisfaction relations for proper classes: applications in logic and set theory. (English) Zbl 1278.03077 J. Symb. Log. 78, No. 2, 345-368 (2013). Reviewer: Martin Weese (Potsdam) MSC: 03C68 03E20 03E40 PDFBibTeX XMLCite \textit{R. A. Van Wesep}, J. Symb. Log. 78, No. 2, 345--368 (2013; Zbl 1278.03077) Full Text: DOI arXiv Euclid
Kohlenbach, Ulrich; Kreuzer, Alexander P. Term extraction and Ramsey’s theorem for pairs. (English) Zbl 1254.03112 J. Symb. Log. 77, No. 3, 853-895 (2012). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F35 03B30 03F10 05D10 PDFBibTeX XMLCite \textit{U. Kohlenbach} and \textit{A. P. Kreuzer}, J. Symb. Log. 77, No. 3, 853--895 (2012; Zbl 1254.03112) Full Text: DOI Euclid Link
Jeřábek, Emil Approximate counting by hashing in bounded arithmetic. (English) Zbl 1180.03055 J. Symb. Log. 74, No. 3, 829-860 (2009). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Symb. Log. 74, No. 3, 829--860 (2009; Zbl 1180.03055) Full Text: DOI Link
Perron, Steven Examining fragments of the quantified propositional calculus. (English) Zbl 1165.03047 J. Symb. Log. 73, No. 3, 1051-1080 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03F30 03B20 03F25 PDFBibTeX XMLCite \textit{S. Perron}, J. Symb. Log. 73, No. 3, 1051--1080 (2008; Zbl 1165.03047) Full Text: DOI Link
Pudlák, Pavel Fragments of bounded arithmetic and the lengths of proofs. (English) Zbl 1168.03044 J. Symb. Log. 73, No. 4, 1389-1406 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03F30 PDFBibTeX XMLCite \textit{P. Pudlák}, J. Symb. Log. 73, No. 4, 1389--1406 (2008; Zbl 1168.03044) Full Text: DOI
Cook, Stephen; Krajíček, Jan Consequences of the provability of \(\mathrm{NP}\subseteq \mathrm{P/poly}\). (English) Zbl 1133.03035 J. Symb. Log. 72, No. 4, 1353-1371 (2007). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03F30 68Q15 PDFBibTeX XMLCite \textit{S. Cook} and \textit{J. Krajíček}, J. Symb. Log. 72, No. 4, 1353--1371 (2007; Zbl 1133.03035) Full Text: DOI Euclid
Jeřábek, Emil Approximate counting in bounded arithmetic. (English) Zbl 1123.03051 J. Symb. Log. 72, No. 3, 959-993 (2007). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D15 68Q15 68W20 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Symb. Log. 72, No. 3, 959--993 (2007; Zbl 1123.03051) Full Text: DOI Euclid Link
Aehlig, Klaus Induction and inductive definitions in fragments of second order arithmetic. (English) Zbl 1118.03054 J. Symb. Log. 70, No. 4, 1087-1107 (2005). Reviewer: Dieter Probst (Bern) MSC: 03F35 03F25 03F55 PDFBibTeX XMLCite \textit{K. Aehlig}, J. Symb. Log. 70, No. 4, 1087--1107 (2005; Zbl 1118.03054) Full Text: DOI Link
Pollett, Chris A theory for LOG-SPACE and NLIN versus co-NLIN. (English) Zbl 1059.03067 J. Symb. Log. 68, No. 4, 1082-1090 (2003). MSC: 03F30 68Q15 PDFBibTeX XMLCite \textit{C. Pollett}, J. Symb. Log. 68, No. 4, 1082--1090 (2003; Zbl 1059.03067) Full Text: DOI Euclid Link
Colson, Loïc; Grigorieff, Serge Syntactical truth predicates for second order arithmetic. (English) Zbl 0978.03044 J. Symb. Log. 66, No. 1, 225-256 (2001). Reviewer: Roman Murawski (Poznań) MSC: 03F35 PDFBibTeX XMLCite \textit{L. Colson} and \textit{S. Grigorieff}, J. Symb. Log. 66, No. 1, 225--256 (2001; Zbl 0978.03044) Full Text: DOI
Sambin, Giovanni; Battilotti, Giulia; Faggian, Claudia Basic logic: Reflection, symmetry, visibility. (English) Zbl 0969.03017 J. Symb. Log. 65, No. 3, 979-1013 (2000). MSC: 03B20 03B47 03F05 PDFBibTeX XMLCite \textit{G. Sambin} et al., J. Symb. Log. 65, No. 3, 979--1013 (2000; Zbl 0969.03017) Full Text: DOI
Krajíček, Jan Discretely ordered modules as a first-order extension of the cutting planes proof system. (English) Zbl 0930.03081 J. Symb. Log. 63, No. 4, 1582-1596 (1998). Reviewer: M.Yasuhara (Princeton) MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 63, No. 4, 1582--1596 (1998; Zbl 0930.03081) Full Text: DOI
Chiari, Mario; Krajiček, Jan Witnessing functions in bounded arithmetic and search problems. (English) Zbl 0919.03044 J. Symb. Log. 63, No. 3, 1095-1115 (1998). Reviewer: A.Cantini (Firenze) MSC: 03F30 03D15 68Q15 PDFBibTeX XMLCite \textit{M. Chiari} and \textit{J. Krajiček}, J. Symb. Log. 63, No. 3, 1095--1115 (1998; Zbl 0919.03044) Full Text: DOI Link
Takeuti, Gaisi Frege proof system and TNC\(^\circ\). (English) Zbl 0959.03047 J. Symb. Log. 63, No. 2, 709-738 (1998). MSC: 03F20 03F07 03B05 03F30 68Q15 PDFBibTeX XMLCite \textit{G. Takeuti}, J. Symb. Log. 63, No. 2, 709--738 (1998; Zbl 0959.03047) Full Text: DOI
Titani, Satoko Completeness of global intuitionistic set theory. (English) Zbl 0907.03023 J. Symb. Log. 62, No. 2, 506-528 (1997). Reviewer: S.Gottwald (Leipzig) MSC: 03E70 03B20 PDFBibTeX XMLCite \textit{S. Titani}, J. Symb. Log. 62, No. 2, 506--528 (1997; Zbl 0907.03023) Full Text: DOI
Krajíček, Jan Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. (English) Zbl 0891.03029 J. Symb. Log. 62, No. 2, 457-486 (1997). Reviewer: M.Yasuhara (Princeton) MSC: 03F20 03F30 03B05 03D15 68Q15 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 62, No. 2, 457--486 (1997; Zbl 0891.03029) Full Text: DOI
Zambella, Domenico Notes on polynomially bounded arithmetic. (English) Zbl 0864.03039 J. Symb. Log. 61, No. 3, 942-966 (1996). Reviewer: R.Kossak (New York) MSC: 03F35 03C62 03D15 PDFBibTeX XMLCite \textit{D. Zambella}, J. Symb. Log. 61, No. 3, 942--966 (1996; Zbl 0864.03039) Full Text: DOI Link
Takeuti, Gaisi Grzegorcyk’s hierarchy and \(\text{Iep}\Sigma_ 1\). (English) Zbl 0816.03028 J. Symb. Log. 59, No. 4, 1274-1284 (1994). Reviewer: G.Mints (Stanford) MSC: 03F30 03F03 PDFBibTeX XMLCite \textit{G. Takeuti}, J. Symb. Log. 59, No. 4, 1274--1284 (1994; Zbl 0816.03028) Full Text: DOI
Verbrugge, Rineke; Visser, Albert A small reflection principle for bounded arithmetic. (English) Zbl 0814.03039 J. Symb. Log. 59, No. 3, 785-812 (1994). Reviewer: R.Murawski (Poznań) MSC: 03F30 PDFBibTeX XMLCite \textit{R. Verbrugge} and \textit{A. Visser}, J. Symb. Log. 59, No. 3, 785--812 (1994; Zbl 0814.03039) Full Text: DOI
Krajíček, Jan Lower bounds to the size of constant-depth propositional proofs. (English) Zbl 0798.03056 J. Symb. Log. 59, No. 1, 73-86 (1994). MSC: 03F20 03F07 03D15 68Q15 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 59, No. 1, 73--86 (1994; Zbl 0798.03056) Full Text: DOI
European summer meeting of the Association for Symbolic Logic. Logic Colloquium ’91, Uppsala, 1991. (English) Zbl 0785.03001 J. Symb. Log. 58, No. 2, 729-766 (1993). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 58, No. 2, 729--766 (1993; Zbl 0785.03001) Full Text: DOI
Rathjen, Michael A proof-theoretic characterization of the primitive recursive set functions. (English) Zbl 0761.03016 J. Symb. Log. 57, No. 3, 954-969 (1992). Reviewer: G.Mints (Stanford) MSC: 03F05 03D20 03E70 PDFBibTeX XMLCite \textit{M. Rathjen}, J. Symb. Log. 57, No. 3, 954--969 (1992; Zbl 0761.03016) Full Text: DOI
Harnik, Victor Provably total functions of intuitionistic bounded arithmetic. (English) Zbl 0778.03019 J. Symb. Log. 57, No. 2, 466-477 (1992). Reviewer: F.G.Asenjo (Pittsburgh) MSC: 03F30 PDFBibTeX XMLCite \textit{V. Harnik}, J. Symb. Log. 57, No. 2, 466--477 (1992; Zbl 0778.03019) Full Text: DOI
Nishimura, Hirokazu Boolean valued Lie algebras. (English) Zbl 0742.17021 J. Symb. Log. 56, No. 2, 731-741 (1991). Reviewer: H.Nishimura MSC: 17B65 22E65 03E40 PDFBibTeX XMLCite \textit{H. Nishimura}, J. Symb. Log. 56, No. 2, 731--741 (1991; Zbl 0742.17021) Full Text: DOI
Rathjen, Michael The role of parameters in bar rule and bar induction. (English) Zbl 0736.03024 J. Symb. Log. 56, No. 2, 715-730 (1991). Reviewer: G.Mints (Stanford) MSC: 03F35 PDFBibTeX XMLCite \textit{M. Rathjen}, J. Symb. Log. 56, No. 2, 715--730 (1991; Zbl 0736.03024) Full Text: DOI
Lano, K. Intuitionistic modal logic and set theory. (English) Zbl 0743.03035 J. Symb. Log. 56, No. 2, 497-516 (1991). Reviewer: S.Gottwald (Leipzig) MSC: 03E70 03B45 03E72 03F55 PDFBibTeX XMLCite \textit{K. Lano}, J. Symb. Log. 56, No. 2, 497--516 (1991; Zbl 0743.03035) Full Text: DOI
European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’88, Padova, 1988. (English) Zbl 0701.03004 J. Symb. Log. 55, No. 1, 387-435 (1990). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 55, No. 1, 387--435 (1990; Zbl 0701.03004) Full Text: DOI
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989. (English) Zbl 0701.03003 J. Symb. Log. 55, No. 1, 372-386 (1990). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 55, No. 1, 372--386 (1990; Zbl 0701.03003) Full Text: DOI
Scowcroft, Philip A note on definable Skolem functions. (English) Zbl 0663.03020 J. Symb. Log. 53, No. 3, 905-911 (1988). Reviewer: Ph.Scowcroft MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{P. Scowcroft}, J. Symb. Log. 53, No. 3, 905--911 (1988; Zbl 0663.03020) Full Text: DOI
European summer meeting of the Association for Symbolic Logic, Hull, 1986. (English) Zbl 0627.03001 J. Symb. Log. 52, 1057-1094 (1987). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 52, 1057--1094 (1987; Zbl 0627.03001) Full Text: DOI
Yukami, Tsuyoshi Taking out LK parts from a proof in Peano arithmetic. (English) Zbl 0645.03056 J. Symb. Log. 51, 682-700 (1986). Reviewer: F.Montagna MSC: 03F30 PDFBibTeX XMLCite \textit{T. Yukami}, J. Symb. Log. 51, 682--700 (1986; Zbl 0645.03056) Full Text: DOI
Motohashi, Nobuyoshi Preservation theorem and relativization theorem for cofinal extensions. (English) Zbl 0624.03027 J. Symb. Log. 51, 1022-1028 (1986). Reviewer: D.Mundici MSC: 03C40 03C50 03C30 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Symb. Log. 51, 1022--1028 (1986; Zbl 0624.03027) Full Text: DOI
Mayberry, John Global quantification in Zermelo-Fraenkel set theory. (English) Zbl 0606.03012 J. Symb. Log. 50, 289-301 (1985). MSC: 03E30 PDFBibTeX XMLCite \textit{J. Mayberry}, J. Symb. Log. 50, 289--301 (1985; Zbl 0606.03012) Full Text: DOI
Abe, Yoshihiro Some results concerning strongly compact cardinals. (English) Zbl 0591.03026 J. Symb. Log. 50, 874-880 (1985). MSC: 03E35 03E05 03E55 PDFBibTeX XMLCite \textit{Y. Abe}, J. Symb. Log. 50, 874--880 (1985; Zbl 0591.03026) Full Text: DOI
Ono, Hiroakira; Komori, Yuichi Logics without the contraction rule. (English) Zbl 0583.03018 J. Symb. Log. 50, 169-201 (1985). MSC: 03B60 03B20 PDFBibTeX XMLCite \textit{H. Ono} and \textit{Y. Komori}, J. Symb. Log. 50, 169--201 (1985; Zbl 0583.03018) Full Text: DOI Link
Avron, Arnon Relevant entailment - semantics and formal systems. (English) Zbl 0586.03017 J. Symb. Log. 49, 334-342 (1984). Reviewer: G.Priest MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{A. Avron}, J. Symb. Log. 49, 334--342 (1984; Zbl 0586.03017) Full Text: DOI
Motohashi, Nobuyoshi A normal form theorem for first order formulas and its application to Gaifman’s splitting theorem. (English) Zbl 0582.03041 J. Symb. Log. 49, 1262-1267 (1984). Reviewer: M.Yasuhara MSC: 03F05 03H15 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Symb. Log. 49, 1262--1267 (1984; Zbl 0582.03041) Full Text: DOI
Motohashi, Nobuyoshi Equality and Lyndon’s interpolation theorem. (English) Zbl 0574.03014 J. Symb. Log. 49, 123-128 (1984). Reviewer: D.Mundici MSC: 03C40 03C07 03F05 03C68 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Symb. Log. 49, 123--128 (1984; Zbl 0574.03014) Full Text: DOI
Nishimura, Hirokazu Hauptsatz for higher-order modal logic. (English) Zbl 0527.03004 J. Symb. Log. 48, 744-751 (1983). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{H. Nishimura}, J. Symb. Log. 48, 744--751 (1983; Zbl 0527.03004) Full Text: DOI
Kaufmann, Matt Set theory with a filter quantifier. (English) Zbl 0518.03007 J. Symb. Log. 48, 263-287 (1983). MSC: 03B60 03C25 03E35 PDFBibTeX XMLCite \textit{M. Kaufmann}, J. Symb. Log. 48, 263--287 (1983; Zbl 0518.03007) Full Text: DOI
Schmerl, James H.; Simpson, Stephen G. On the role of Ramsey quantifiers in first order arithmetic. (English) Zbl 0492.03015 J. Symb. Log. 47, 423-435 (1982). MSC: 03C80 03F30 03B25 03C10 03C62 PDFBibTeX XMLCite \textit{J. H. Schmerl} and \textit{S. G. Simpson}, J. Symb. Log. 47, 423--435 (1982; Zbl 0492.03015) 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
Morgenstern, Carl On generalized quantifiers in arithmetic. (English) Zbl 0487.03019 J. Symb. Log. 47, 187-190 (1982). MSC: 03C80 PDFBibTeX XMLCite \textit{C. Morgenstern}, J. Symb. Log. 47, 187--190 (1982; Zbl 0487.03019) Full Text: DOI
Spector, Mitchell The kappa-closed unbounded filter and supercompact cardinals. (English) Zbl 0487.03029 J. Symb. Log. 46, 31-40 (1981). MSC: 03E35 03E55 03E60 PDFBibTeX XMLCite \textit{M. Spector}, J. Symb. Log. 46, 31--40 (1981; Zbl 0487.03029) Full Text: DOI
European summer meeting of the association for symbolic logic. Leeds, 1979. (English) Zbl 0455.03004 J. Symb. Log. 46, 435-446 (1981). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 46, 435--446 (1981; Zbl 0455.03004) Full Text: DOI
David, Rene A result of relative consistency about the predicate \(WO(\delta ,x)\). (English) Zbl 0441.03018 J. Symb. Log. 45, 483-492 (1980). MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{R. David}, J. Symb. Log. 45, 483--492 (1980; Zbl 0441.03018) Full Text: DOI
Dubiel, Malgorzata Generalized quantifiers and elementary extensions of countable models. (English) Zbl 0399.03022 J. Symb. Log. 42(1977), 341-348 (1978). MSC: 03C80 03C15 PDFBibTeX XMLCite \textit{M. Dubiel}, J. Symb. Log. 42, 341--348 (1978; Zbl 0399.03022) Full Text: DOI
Pohlers, W. Ordinals connected with formal theories for transfinitely iterated inductive definitions. (English) Zbl 0394.03049 J. Symb. Log. 43, 161-182 (1978). MSC: 03F15 03F99 PDFBibTeX XMLCite \textit{W. Pohlers}, J. Symb. Log. 43, 161--182 (1978; Zbl 0394.03049) Full Text: DOI
Cutland, Nigel \(\Sigma_1\)-compactness in languages stronger than \(\mathcal L_A\). (English) Zbl 0393.03024 J. Symb. Log. 43, 508-520 (1978). MSC: 03C70 03C75 PDFBibTeX XMLCite \textit{N. Cutland}, J. Symb. Log. 43, 508--520 (1978; Zbl 0393.03024) Full Text: DOI
Magidor, Menachem Chang’s conjecture and powers of singular cardinals. (English) Zbl 0394.03046 J. Symb. Log. 42, 272-276 (1977). MSC: 03E55 PDFBibTeX XMLCite \textit{M. Magidor}, J. Symb. Log. 42, 272--276 (1977; Zbl 0394.03046) Full Text: DOI
Jacobs, Barry E. On generalized computational complexity. (English) Zbl 0384.03022 J. Symb. Log. 42, 47-58 (1977). MSC: 03D15 03D60 PDFBibTeX XMLCite \textit{B. E. Jacobs}, J. Symb. Log. 42, 47--58 (1977; Zbl 0384.03022) Full Text: DOI
Baumgartner, James E.; Taylor, Alan D.; Wagon, Stanley On splitting stationary subsets of large cardinals. (English) Zbl 0373.02047 J. Symb. Log. 42, 203-214 (1977). MSC: 03E55 PDFBibTeX XMLCite \textit{J. E. Baumgartner} et al., J. Symb. Log. 42, 203--214 (1977; Zbl 0373.02047) Full Text: DOI
Slonneger, Kenneth A complete infinitary logic. (English) Zbl 0357.02015 J. Symb. Log. 41 (1976), 730-746 (1977). MSC: 03C75 PDFBibTeX XMLCite \textit{K. Slonneger}, J. Symb. Log. 41, 730--746 (1977; Zbl 0357.02015) Full Text: DOI
Friedman, Harvey One hundred and two problems in mathematical logic. (English) Zbl 0318.02002 J. Symb. Log. 40, 113-129 (1975). MSC: 03-01 03-XX PDFBibTeX XMLCite \textit{H. Friedman}, J. Symb. Log. 40, 113--129 (1975; Zbl 0318.02002) Full Text: DOI
Boos, William Boolean extensions which efface the Mahlo property. (English) Zbl 0295.02034 J. Symb. Log. 39, 254-268 (1974). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{W. Boos}, J. Symb. Log. 39, 254--268 (1974; Zbl 0295.02034) Full Text: DOI
MacIntyre, John M. Minimal \(\alpha\)-recursion theoretic degrees. (English) Zbl 0335.02026 J. Symb. Log. 38, 18-28 (1973). MSC: 03D60 03D30 PDFBibTeX XMLCite \textit{J. M. MacIntyre}, J. Symb. Log. 38, 18--28 (1973; Zbl 0335.02026) Full Text: DOI
Metakides, George \(\alpha\)-degrees of \(\alpha\)-theories. (English) Zbl 0327.02037 J. Symb. Log. 37(1972), 677-682 (1973). MSC: 03D65 03D30 03C75 PDFBibTeX XMLCite \textit{G. Metakides}, J. Symb. Log. 37, 677--682 (1973; Zbl 0327.02037) Full Text: DOI
Titani, Satoko A proof of the cut-elimination theorem in simple type theory. (English) Zbl 0275.02017 J. Symb. Log. 38, 215-226 (1973). MSC: 03B15 03F99 PDFBibTeX XMLCite \textit{S. Titani}, J. Symb. Log. 38, 215--226 (1973; Zbl 0275.02017) Full Text: DOI
Davis, James D. The inconsistency of a certain axiom system for set theory. (English) Zbl 0274.02033 J. Symb. Log. 37, 538-542 (1972). MSC: 03E35 03E55 03E30 PDFBibTeX XMLCite \textit{J. D. Davis}, J. Symb. Log. 37, 538--542 (1972; Zbl 0274.02033) Full Text: DOI
Isles, David Natural well-orderings. (English) Zbl 0278.02030 J. Symb. Log. 36, 288-300 (1971). MSC: 03F15 03E55 03D55 PDFBibTeX XMLCite \textit{D. Isles}, J. Symb. Log. 36, 288--300 (1971; Zbl 0278.02030) Full Text: DOI
Malitz, Jerome Infinitary analogs of theorems from first order model theory. (English) Zbl 0232.02037 J. Symb. Log. 36, 216-228 (1971). MSC: 03C75 03C40 PDFBibTeX XMLCite \textit{J. Malitz}, J. Symb. Log. 36, 216--228 (1971; Zbl 0232.02037) Full Text: DOI
Barwise, J. Infinitary logic and admissible sets. (English) Zbl 0215.31806 J. Symb. Log. 34, 226-252 (1969). MSC: 03C70 03B22 03B50 03B99 PDFBibTeX XMLCite \textit{J. Barwise}, J. Symb. Log. 34, 226--252 (1969; Zbl 0215.31806) Full Text: DOI
Kreisel, Georg A survey of proof theory. (English) Zbl 0177.01002 J. Symb. Log. 33, 321-388 (1968). PDFBibTeX XMLCite \textit{G. Kreisel}, J. Symb. Log. 33, 321--388 (1968; Zbl 0177.01002) Full Text: DOI
Lopez-Escobar, E. G. K. Remarks on an infinitary language with constructive formulas. (English) Zbl 0221.02005 J. Symb. Log. 32, 305-318 (1967). MSC: 03C75 03C40 PDFBibTeX XMLCite \textit{E. G. K. Lopez-Escobar}, J. Symb. Log. 32, 305--318 (1967; Zbl 0221.02005) Full Text: DOI
Karp, C. Nonaxiomatizability results for infinitary systems. (English) Zbl 0203.01001 J. Symb. Log. 32, 367-384 (1967). PDFBibTeX XMLCite \textit{C. Karp}, J. Symb. Log. 32, 367--384 (1967; Zbl 0203.01001) Full Text: DOI
Namba, Kanji \(\aleph_0\)-complete cardinals and transcendency of cardinals. (English) Zbl 0169.30704 J. Symb. Log. 32, 452-472 (1967). Reviewer: B. H. Mayoh MSC: 03Exx PDFBibTeX XMLCite \textit{K. Namba}, J. Symb. Log. 32, 452--472 (1967; Zbl 0169.30704) Full Text: DOI
Kino, A. On definability of ordinals in logic with infinitely long expressions. (English) Zbl 0183.01102 J. Symb. Log. 31, 365-375 (1966); Correct. Ibid. 32, 343-344 (1967). PDFBibTeX XMLCite \textit{A. Kino}, J. Symb. Log. 31, 365--375 (1966; Zbl 0183.01102) Full Text: DOI
Takeuti, G. Transcendence of cardinals. (English) Zbl 0192.04202 J. Symb. Log. 30, 1-7 (1965). PDFBibTeX XMLCite \textit{G. Takeuti}, J. Symb. Log. 30, 1--7 (1965; Zbl 0192.04202) Full Text: DOI
Takeuti, G. A formalization of the theory of ordinal numbers. (English) Zbl 0147.26102 J. Symb. Log. 30, 295-317 (1965). PDFBibTeX XMLCite \textit{G. Takeuti}, J. Symb. Log. 30, 295--317 (1965; Zbl 0147.26102) Full Text: DOI
Feferman, S. Systems of predicative analysis. (English) Zbl 0134.01101 J. Symb. Log. 29, 1-30 (1964). PDFBibTeX XMLCite \textit{S. Feferman}, J. Symb. Log. 29, 1--30 (1964; Zbl 0134.01101) Full Text: DOI