The Bulletin of Symbolic Logic

Short Title:	Bull. Symb. Log.
Publisher:	Cambridge University Press, West Nyack, NY; Association for Symbolic Logic (ASL), Poughkeepsie, NY
ISSN:	1079-8986; 1943-5894/e
Online:	https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/all-issues http://projecteuclid.org/all/euclid.bsl http://www.jstor.org/journal/bullsymblogi
Comments:	Journal

Documents Indexed:	614 Publications (since 1995)
References Indexed:	461 Publications with 18,083 References.

all top 5

Latest Issues

30, No. 1 (2024)
29, No. 4 (2023)
29, No. 3 (2023)
29, No. 2 (2023)
29, No. 1 (2023)
28, No. 4 (2022)
28, No. 3 (2022)
28, No. 2 (2022)
28, No. 1 (2022)
27, No. 4 (2021)
27, No. 3 (2021)
27, No. 2 (2021)
27, No. 1 (2021)
26, No. 3-4 (2020)
26, No. 2 (2020)
26, No. 1 (2020)
25, No. 4 (2019)
25, No. 3 (2019)
25, No. 2 (2019)
25, No. 1 (2019)
24, No. 4 (2018)
24, No. 3 (2018)
24, No. 2 (2018)
24, No. 1 (2018)
23, No. 4 (2017)
23, No. 3 (2017)
23, No. 2 (2017)
23, No. 1 (2017)
22, No. 4 (2016)
22, No. 3 (2016)
22, No. 2 (2016)
22, No. 1 (2016)
21, No. 4 (2015)
21, No. 3 (2015)
21, No. 2 (2015)
21, No. 1 (2015)
20, No. 4 (2014)
20, No. 3 (2014)
20, No. 2 (2014)
20, No. 1 (2014)
19, No. 4 (2013)
19, No. 3 (2013)
19, No. 2 (2013)
19, No. 1 (2013)
18, No. 4 (2012)
18, No. 3 (2012)
18, No. 2 (2012)
18, No. 1 (2012)
17, No. 4 (2011)
17, No. 3 (2011)
17, No. 2 (2011)
17, No. 1 (2011)
16, No. 4 (2010)
16, No. 3 (2010)
16, No. 2 (2010)
16, No. 1 (2010)
15, No. 4 (2009)
15, No. 3 (2009)
15, No. 2 (2009)
15, No. 1 (2009)
14, No. 4 (2008)
14, No. 3 (2008)
14, No. 2 (2008)
14, No. 1 (2008)
13, No. 4 (2007)
13, No. 3 (2007)
13, No. 2 (2007)
13, No. 1 (2007)
12, No. 4 (2006)
12, No. 3 (2006)
12, No. 2 (2006)
12, No. 1 (2006)
11, No. 4 (2005)
11, No. 3 (2005)
11, No. 2 (2005)
11, No. 1 (2005)
10, No. 4 (2004)
10, No. 3 (2004)
10, No. 2 (2004)
10, No. 1 (2004)
9, No. 4 (2003)
9, No. 3 (2003)
9, No. 2 (2003)
9, No. 1 (2003)
8, No. 4 (2002)
8, No. 3 (2002)
8, No. 2 (2002)
8, No. 1 (2002)
7, No. 4 (2001)
7, No. 3 (2001)
7, No. 2 (2001)
7, No. 1 (2001)
6, No. 4 (2000)
6, No. 3 (2000)
6, No. 2 (2000)
6, No. 1 (2000)
5, No. 4 (1999)
5, No. 3 (1999)
5, No. 2 (1999)
5, No. 1 (1999)
...and 14 more Volumes

all top 5

Authors

11	Kanamori, Akihiro
7	Kechris, Alexander S.
7	Nies, André Otfrid
7	von Plato, Jan
6	Downey, Rodney Graham
6	Shore, Richard Arnold
6	Urquhart, Alasdair
6	Väänänen, Jouko Antero
5	Friedman, Sy-David
5	Krajíček, Jan
5	Parsons, Charles D.
5	Pillay, Anand
4	Artemov, Sergei
4	Avigad, Jeremy
4	Brady, Ross Thomas
4	Feferman, Solomon
4	Greenberg, Noam
4	Kennedy, Juliette Cara
4	Maddy, Penelope J.
4	Mancosu, Paolo
4	Sieg, Wilfried
4	Slaman, Theodore A.
4	Steel, John R.
4	van Dalen, Dirk
3	Awodey, Steve
3	Bagaria, Joan
3	Baldwin, John T.
3	Ben-Yaacov, Itaï
3	Bimbó, Katalin
3	Blass, Andreas Raphael
3	Bunder, Martin W.
3	Button, Tim
3	Došen, Kosta
3	Groszek, Marcia J.
3	Gurevich, Yuri
3	Harizanov, Valentina S.
3	Harrington, Leo A.
3	Hart, Bradd T.
3	Hirschfeldt, Denis Roman
3	Hjorth, Gregory
3	Hodkinson, Ian Martin
3	Knight, Julia F.
3	Kolaitis, Phokion G.
3	Laskowski, Michael Chris
3	Lempp, Steffen
3	Marker, David E.
3	Melnikov, Alexander G.
3	Miller, Joseph S.
3	Montalbán, Antonio
3	Moschovakis, Yiannis Nicholas
3	Neeman, Itay
3	Pohlers, Wolfram
3	Porter, Christopher P.
3	Sagi, Gil
3	Sargsyan, Grigor
3	Schuster, Peter Michael
3	Shapiro, Stewart
3	Sher, Gila
3	Simpson, Stephen G.
3	Soare, Robert I.
3	Vardi, Moshe Ya’akov
3	Wainer, Stanley Scott
3	Weiermann, Andreas
3	Zach, Richard
3	Zapletal, Jindřich
2	Arai, Toshiyasu
2	Arana, Andrew
2	Arrigoni, Tatiana
2	Avron, Arnon
2	Beeson, Michael J.
2	Bell, John Lane
2	Bienvenu, Laurent
2	Buss, Samuel R.
2	Carnielli, Walter Alexandre
2	Centrone, Stefania
2	Cheng, Yong
2	Cholak, Peter A.
2	Corcoran, John
2	Damnjanovic, Zlatan
2	D’Aquino, Paola
2	Davis, Martin David
2	Deloro, Adrien
2	Dershowitz, Nachum
2	Di Prisco, Carlos Augusto
2	Dyckhoff, Roy
2	Džamonja, Mirna
2	Dzhafarov, Damir D.
2	Enderton, Herbert B.
2	Ferreirós, José
2	Gherardi, Guido
2	Givant, Steven R.
2	Goldfarb, Warren D.
2	Griffiths, Owen
2	Halevi, Yatir
2	Harrison-Trainor, Matthew
2	Haskell, Deirdre
2	Hasson, Assaf
2	Henkin, Leon Albert
2	Hintikka, Jaakko
2	Hirst, Jeffry Lynn
...and 428 more Authors

all top 5

Fields

566	Mathematical logic and foundations (03-XX)
170	General and overarching topics; collections (00-XX)
126	History and biography (01-XX)
43	Computer science (68-XX)
17	Combinatorics (05-XX)
14	Group theory and generalizations (20-XX)
12	Measure and integration (28-XX)
10	General topology (54-XX)
9	Number theory (11-XX)
8	Functional analysis (46-XX)
8	Geometry (51-XX)
7	Order, lattices, ordered algebraic structures (06-XX)
7	Field theory and polynomials (12-XX)
7	Category theory; homological algebra (18-XX)
6	Real functions (26-XX)
5	Dynamical systems and ergodic theory (37-XX)
4	General algebraic systems (08-XX)
3	Algebraic geometry (14-XX)
3	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2	Commutative algebra (13-XX)
2	Abstract harmonic analysis (43-XX)
2	Convex and discrete geometry (52-XX)
2	Probability theory and stochastic processes (60-XX)
2	Quantum theory (81-XX)
2	Information and communication theory, circuits (94-XX)
1	Topological groups, Lie groups (22-XX)
1	Differential geometry (53-XX)
1	Algebraic topology (55-XX)
1	Global analysis, analysis on manifolds (58-XX)
1	Statistics (62-XX)
1	Statistical mechanics, structure of matter (82-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

356 Publications have been cited 3,594 times in 3,008 Documents	Cited by ▼	Year ▼
Explicit provability and constructive semantics. Zbl 0980.03059 Artemov, Sergei N.	151	2001
The logic of bunched implications. Zbl 0930.03095 O’Hearn, Peter W.; Pym, David J.	124	1999
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048 Pestov, Vladimir G.	92	2008
On the decision problem for two-variable first-order logic. Zbl 0873.03009 Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.	82	1997
Cut elimination in the presence of axioms. Zbl 0934.03072 Negri, Sara; von Plato, Jan	60	1998
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062 Brattka, Vasco; Gherardi, Guido	57	2011
The complexity of propositional proofs. Zbl 0845.03025 Urquhart, Alasdair	55	1995
The complexity of propositional proofs. Zbl 1133.03037 Segerlind, Nathan	54	2007
Open questions in reverse mathematics. Zbl 1233.03023 Montalbán, Antonio	50	2011
Calibrating randomness. Zbl 1113.03037 Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.	47	2006
Automatic continuity of group homomorphisms. Zbl 1173.03037 Rosendal, Christian	45	2009
Tarski’s system of geometry. Zbl 0932.01031 Tarski, Alfred; Givant, Steven	44	1999
Randomness and computability: open questions. Zbl 1169.03033 Miller, Joseph S.; Nies, André	43	2006
Describing groups. Zbl 1167.20017 Nies, André	40	2007
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055 Edalat, Abbas	40	1997
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028 Rubin, Sasha	39	2008
Mass problems and randomness. Zbl 1090.03015 Simpson, Stephen G.	38	2005
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067 Hamkins, Joel David	36	1999
Foundations of online structure theory. Zbl 1477.03167 Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander	34	2019
Computability and recursion. Zbl 0861.03031 Soare, Robert I.	34	1996
Analytic ideals. Zbl 0862.04002 Solecki, Sławomir	34	1996
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092 Rinot, Assaf	32	2014
Square in core models. Zbl 0992.03062 Schimmerling, Ernest; Zeman, Martin	31	2001
Turing computations on ordinals. Zbl 1096.03053 Koepke, Peter	30	2005
Second-order logic and foundations of mathematics. Zbl 1002.03013 Väänänen, Jouko	28	2001
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh	27	2017
Does mathematics need new axioms? Zbl 0977.03002 Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.	25	2000
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003 von Plato, Jan	25	2008
Computability theory and differential geometry. Zbl 1085.03033 Soare, Robert I.	25	2004
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027 Dershowitz, Nachum; Gurevich, Yuri	23	2008
The hyperuniverse program. Zbl 1307.03003 Arrigoni, Tatiana; Friedman, Sy-David	23	2013
Relative truth definability of axiomatic truth theories. Zbl 1209.03002 Fujimoto, Kentaro	23	2010
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065 Ehrlich, Philip	23	2012
Algebraic logic, where does it stand today? Zbl 1111.03053 Sayed Ahmed, Tarek	23	2005
Optimal proofs of determinacy. Zbl 0835.03017 Neeman, Itay	23	1995
The discovery of my completeness proofs. Zbl 0882.03001 Henkin, Leon	23	1996
The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor	23	2015
Logicality and invariance. Zbl 1146.03002 Bonnay, Denis	22	2008
Mathematical fuzzy logics. Zbl 1144.03023 Gottwald, Siegfried	22	2008
Hilbert’s programs: 1917-1922. Zbl 0924.03002 Sieg, Wilfried	22	1999
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036 Krajíček, Jan; Scanlon, Thomas	21	2000
New directions in descriptive set theory. Zbl 0933.03057 Kechris, Alexander S.	21	1999
Church’s problem revisited. Zbl 0932.03029 Kupferman, Orna; Vardi, Moshe Y.	21	1999
Identity of proofs based on normalization and generality. Zbl 1058.03061 Došen, Kosta	21	2003
Machines, logic and quantum physics. Zbl 0998.68059 Deutsch, David; Ekert, Artur; Lupacchini, Rossella	20	2000
New dichotomies for Borel equivalence relations. Zbl 0889.03038 Hjorth, Greg; Kechris, Alexander S.	20	1997
Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara	20	2015
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel	20	2017
Internal consistency and the inner model hypothesis. Zbl 1134.03029 Friedman, Sy-David	19	2006
\(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022 Steel, John R.	19	1995
Developments in constructive nonstandard analysis. Zbl 0920.03063 Palmgren, Erik	19	1998
Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G.	19	2014
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004 Schroeder-Heister, Peter	18	2002
Proper forcing and remarkable cardinals. Zbl 0960.03044 Schindler, Ralf-Dieter	18	2000
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031 Hodkinson, Ian; Otto, Martin	17	2003
Kleene’s amazing second recursion theorem. Zbl 1211.03061 Moschovakis, Yiannis N.	16	2010
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059 Gabbay, Murdoch J.	16	2011
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002 von Plato, Jan	16	2012
Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050 Mummert, Carl; Simpson, Stephen G.	16	2005
Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035 Rathjen, Michael	16	1995
Classification from a computable viewpoint. Zbl 1123.03024 Calvert, Wesley; Knight, Julia F.	16	2006
On the equimorphism types of linear orderings. Zbl 1129.03024 Montalbán, Antonio	15	2007
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019 Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko	15	1996
Predicative fragments of Frege arithmetic. Zbl 1068.03051 Linnebo, Øystein	15	2004
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003 Zach, Richard	15	1999
Combinatorial dichotomies in set theory. Zbl 1230.03075 Todorcevic, Stevo	15	2011
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047 Miller, Benjamin D.	14	2012
Descriptive inner model theory. Zbl 1307.03030 Sargsyan, Grigor	14	2013
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040 Keisler, H. Jerome	14	2006
Partition theorems and computability theory. Zbl 1097.03037 Mileti, Joseph R.	14	2005
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008 Barendregt, Henk	14	1997
The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030 Kanamori, Akihiro	14	1997
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028 Balcar, Bohuslav; Jech, Thomas	14	2006
Forcing in proof theory. Zbl 1064.03034 Avigad, Jeremy	14	2004
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063 Hinman, Peter G.	14	2012
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012 Yanofsky, Noson S.	14	2003
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï	14	2014
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan	14	2014
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014 Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika	13	2012
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029 McLarty, Colin	13	2010
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001 Sieg, Wilfried	13	1997
The road to modern logic – an interpretation. Zbl 1005.03003 Ferreirós, José	13	2001
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037 Clemens, John D.; Gao, Su; Kechris, Alexander S.	13	2001
Some aspects of model theory and finite structures. Zbl 1017.03015 Rosen, Eric	13	2002
Schemata: the concept of schema in the history of logic. Zbl 1123.03001 Corcoran, John	13	2006
Games for truth. Zbl 1193.03011 Welch, P. D.	12	2009
Second order logic or set theory? Zbl 1252.03024 Väänänen, Jouko	12	2012
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008 Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael	12	2005
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas	12	2017
Tautologies from pseudo-random generators. Zbl 0983.03046 Krajíček, Jan	12	2001
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024 Jaligot, Eric	12	2001
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006 Welch, P. D.	12	2001
Arguments for the continuity principle. Zbl 1036.03047 van Atten, Mark; van Dalen, Dirk	12	2002
Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S.	12	2017
Full development of Tarski’s geometry of solids. Zbl 1156.03011 Gruszczyński, Rafał; Pietruszczak, Andrzej	11	2008
Well (and better) quasi-ordered transition systems. Zbl 1207.68219 Abdulla, Parosh Aziz	11	2010
Set theory and \(C^*\)-algebras. Zbl 1127.46043 Weaver, Nik	11	2007
Hyperfinite law of large numbers. Zbl 0861.03051 Sun, Yeneng	11	1996
Inner models and large cardinals. Zbl 0843.03029 Jensen, Ronald	11	1995
Fixed point logics. Zbl 1002.03030 Dawar, Anuj; Gurevich, Yuri	11	2002
A walk with Goodstein. Zbl 07828956 Fernández-Duque, David; Weiermann, Andreas	1	2024
Computably compact metric spaces. Zbl 07725101 Downey, Rodney G.; Melnikov, Alexander G.	6	2023
Large cardinals as principles of structural reflection. Zbl 07665537 Bagaria, Joan	3	2023
Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077 Hrbacek, Karel; Katz, Mikhail G.	2	2023
Saturated models for the working model theorist. Zbl 07725100 Halevi, Yatir; Kaplan, Itay	2	2023
Extended frames and separations of logical principles. Zbl 07749829 Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita	2	2023
Tree theory: interpretability between weak first-order theories of trees. Zbl 07808883 Damnjanovic, Zlatan	1	2023
Menas’s conjecture revisited. Zbl 07749830 Matet, Pierre	1	2023
The Jacobson radical of a propositional theory. Zbl 07550752 Fellin, Giulio; Schuster, Peter; Wessel, Daniel	4	2022
Constructing Wadge classes. Zbl 1504.03026 Carroy, Raphaël; Medini, Andrea; Müller, Sandra	3	2022
Affine logic for constructive mathematics. Zbl 07606771 Shulman, Michael	3	2022
An introduction to the Scott complexity of countable structures and a survey of recent results. Zbl 1501.03002 Harrison-Trainor, Matthew	1	2022
Sealing of the universally Baire sets. Zbl 1539.03162 Sargsyan, Grigor; Trang, Nam	8	2021
Strong colorings over partitions. Zbl 1496.03179 Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris	6	2021
Disjunctions with stopping conditions. Zbl 1539.03204 Kossak, Roman; Wcisło, Bartosz	4	2021
Logicality and model classes. Zbl 1529.03193 Kennedy, Juliette; Väänänen, Jouko	2	2021
Sense and reference from a constructivist standpoint. Zbl 1529.03031 Dummett, Michael	2	2021
The sense/reference distinction in constructive semantics. Zbl 1529.03066 Martin-Löf, Per	2	2021
Kurt Gödel on logical, theological, and physical antinomies. Zbl 1482.03001 Lethen, Tim	2	2021
Reduction techniques for proving decidability in logics and their meet-combination. Zbl 1535.03057 Rasga, João; Sernadas, Cristina; Carnielli, Walter	1	2021
Current research on Gödel’s incompleteness theorems. Zbl 1497.03067 Cheng, Yong	1	2021
Goodstein sequences based on a parametrized Ackermann-Péter function. Zbl 1537.03085 Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas	1	2021
Domination and regularity. Zbl 07330990 Pillay, Anand	4	2020
Finding the limit of incompleteness. I. Zbl 1464.03089 Cheng, Yong	3	2020
Gödel diffeomorphisms. Zbl 1486.03075 Foreman, Matthew	2	2020
A reconstruction of Steel’s multiverse project. Zbl 1477.03012 Maddy, Penelope; Meadows, Toby	2	2020
An exposition of the compactness of \(L(Q^{\text{cf}})\). Zbl 1477.03156 Casanovas, Enrique; Ziegler, Martin	1	2020
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. Zbl 1462.03025 Ferreira, Fernando	1	2020
Weyl reexamined: “Das Kontinuum” 100 years later. Zbl 1458.03006 Avron, Arnon	1	2020
On the diagonal lemma of Gödel and Carnap. Zbl 1459.03089 Salehi, Saeed	1	2020
Foundations of online structure theory. Zbl 1477.03167 Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander	34	2019
A conjectural classification of strongly dependent fields. Zbl 1477.03134 Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska	10	2019
Large cardinals beyond choice. Zbl 1475.03098 Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh	9	2019
Model theory and machine learning. Zbl 1506.03095 Chase, Hunter; Freitag, James	6	2019
Realizing realizability results with classical constructions. Zbl 1539.03165 Karagila, Asaf	2	2019
Henkin constructions of models with size continuum. Zbl 1539.03120 Baldwin, John T.; Laskowski, Michael C.	1	2019
An invitation to model theory and \(\mathrm{C}^\ast\)-algebras. Zbl 1446.03067 Lupini, Martino	1	2019
Indirect proof and inversions of syllogisms. Zbl 1477.03006 Dyckhoff, Roy	1	2019
An extension of a theorem of Zermelo. Zbl 1477.03226 Väänänen, Jouko	1	2019
Eta-rules in Martin-Löf type theory. Zbl 1486.03028 Klev, Ansten	1	2019
A hierarchy of computably enumerable degrees. Zbl 1522.03155 Downey, Rod; Greenberg, Noam	6	2018
Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023 Pistone, Paolo	4	2018
Strong jump-traceability. Zbl 1522.03157 Greenberg, Noam; Turetsky, Dan	4	2018
Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 1522.03317 Sandqvist, Tor	2	2018
A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040 Palmgren, Erik	1	2018
Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. Zbl 1403.03006 von Plato, Jan	1	2018
Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024 Rizza, Davide	1	2018
2017 European summer meeting of the Association for Symbolic Logic, Logic Colloquium ’17. Stockholm, Sweden, August 14–20, 2017. Zbl 1392.03005	1	2018
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh	27	2017
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel	20	2017
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas	12	2017
Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S.	12	2017
Incompleteness in the finite domain. Zbl 1423.03245 Pudlák, Pavel	10	2017
Some definable Galois theory and examples. Zbl 1419.03032 León Sánchez, Omar; Pillay, Anand	10	2017
Products of Hurewicz spaces in the Laver model. Zbl 1421.03024 Repovš, Dušan; Zdomskyy, Lyubomyr	6	2017
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027 Damnjanovic, Zlatan	6	2017
Metavaluations. Zbl 1421.03011 Brady, Ross T.	3	2017
Intuitionistic analysis at the end of time. Zbl 1436.03312 Moschovakis, Joan Rand	2	2017
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012 Patey, Ludovic	10	2016
Constructive geometry and the parallel postulate. Zbl 1403.03130 Beeson, Michael	8	2016
Linear time in hypersequent framework. Zbl 1403.03114 Indrzejczak, Andrzej	7	2016
Deep \(\Pi_1^0\) classes. Zbl 1401.03077 Bienvenu, Laurent; Porter, Christopher P.	7	2016
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079 Miyabe, Kenshi; Nies, André; Zhang, Jing	7	2016
Maximal computability structures. Zbl 1403.03072 Iljazović, Zvonko; Validžić, Lucija	6	2016
Computability and the Connes embedding problem. Zbl 1404.03037 Goldbring, Isaac; Hart, Bradd	5	2016
Gödel’s Notre Dame course. Zbl 1380.03003 Adžić, Miloš; Došen, Kosta	4	2016
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012 Caramello, Olivia; Russo, Anna Carla	3	2016
Early Bolzano on ground-consequence proofs. Zbl 1384.03005 Centrone, Stefania	3	2016
Russell and Gödel. Zbl 1380.03007 Urquhart, Alasdair	3	2016
The strength of abstraction with predicative comprehension. Zbl 1403.03121 Walsh, Sean	2	2016
Relativizing operational set theory. Zbl 1432.03127 Jäger, Gerhard	2	2016
Book review of: Barry Cooper S. (ed.) and Hodges Andrew (ed.), The once and future Turing. Computing the world. Zbl 1362.00022 Urquhart, Alasdair	1	2016
2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054	1	2016
Isomorphism invariance and overgeneration. Zbl 1384.03032 Griffiths, Owen; Paseau, A. C.	1	2016
The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor	23	2015
Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara	20	2015
Demuth’s path to randomness. Zbl 1348.03002 Kučera, Antonín; Nies, André; Porter, Christopher P.	3	2015
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic. Zbl 1369.03013 Mancosu, Paolo; Zach, Richard	2	2015
Saturated free algebras revisited. Zbl 1372.03066 Pillay, Anand; Sklinos, Rizos	2	2015
Symmetries in modal logics. Zbl 1372.03036 Areces, Carlos; Orbe, Ezequiel	1	2015
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Zbl 1336.00029 Hirst, Jeffry L.	1	2015
Book review of: K. Tent and M. Ziegler, A course in model theory. Zbl 1336.00027 Hart, Bradd	1	2015
Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079 Beeson, Michael; Boutry, Pierre; Narboux, Julien	1	2015
Existential-import mathematics. Zbl 1368.03012 Corcoran, John; Masoud, Hassan	1	2015
The convenience of the typesetter; notation and typography in Frege’s Grundgesetze der Arithmetik. Zbl 1354.03001 Green, J. J.; Rossberg, Marcus; Ebert, Philip A.	1	2015
Chang’s conjecture, generic elementary embeddings and inner models for huge cardinals. Zbl 1371.03054 Foreman, Matthew	1	2015
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092 Rinot, Assaf	32	2014
Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G.	19	2014
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï	14	2014
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan	14	2014
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105 van Oosten, Jaap	11	2014
Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112 Jäger, Gerhard; Zumbrunnen, Rico	5	2014
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098 Chong, C. T.; Li, Wei; Yang, Yue	5	2014
Erdős and set theory. Zbl 1345.03006 Kanamori, Akihiro	2	2014
On optimal inverters. Zbl 1341.03052 Chen, Yijia; Flum, Jörg	2	2014
Completeness and categoricity (in power): formalization without foundationalism. Zbl 1341.03043 Baldwin, John T.	1	2014
2013 North American annual meeting of the Association for Symbolic Logic, University of Waterloo, Waterloo, Ontario, Canada, May 8–11, 2013. Zbl 1301.03007	1	2014
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002 Bruni, Riccardo; Schuster, Peter	1	2014
The hyperuniverse program. Zbl 1307.03003 Arrigoni, Tatiana; Friedman, Sy-David	23	2013
Descriptive inner model theory. Zbl 1307.03030 Sargsyan, Grigor	14	2013
...and 256 more Documents

all cited Publications top 5 cited Publications

all top 5

Cited by 2,532 Authors

33	Apter, Arthur W.
32	Downey, Rodney Graham
29	Melnikov, Alexander G.
28	Friedman, Sy-David
28	Stephan, Frank
27	Nies, André Otfrid
23	Greenberg, Noam
23	Ng, KengMeng
23	Sanders, Sam
22	Bazhenov, Nikolaĭ Alekseevich
21	Rinot, Assaf
20	Pauly, Arno M.
20	Sayed Ahmed, Tarek
19	Schindler, Ralf-Dieter
18	Beyersdorff, Olaf
18	Patey, Ludovic
18	Pym, David J.
17	Artemov, Sergei
17	Brattka, Vasco
17	Jain, Sanjay
17	Sargsyan, Grigor
16	Studer, Thomas
15	Buss, Samuel R.
14	Barmpalias, George
14	Carl, Merlin
14	Farah, Ilijas
14	Miller, Joseph S.
14	Montalbán, Antonio
14	Negri, Sara
14	Wessel, Daniel
13	Fitting, Melvin Chris
13	Hamkins, Joel David
13	Kuznets, Roman
13	Pillay, Anand
13	Shore, Richard Arnold
13	Weiermann, Andreas
12	Hirschfeldt, Denis Roman
12	Rathjen, Michael
12	Schlicht, Philipp
11	Harrison-Trainor, Matthew
11	Kihara, Takayuki
11	Lewis-Pye, Andrew E. M.
11	Schuster, Peter Michael
11	Shelah, Saharon
11	Sieg, Wilfried
11	Subramani, Krishnan
11	von Plato, Jan
10	Andréka, Hajnal
10	Kalimullin, Iskander Shagitovich
10	Katz, Mikhail G.
10	Manzano, María
10	Tucker, John V.
10	Visser, Albert
10	Welch, Philip D.
9	Barton, Neil
9	Deloro, Adrien
9	Došen, Kosta
9	Feferman, Solomon
9	Koepke, Peter
9	Lücke, Philipp Moritz
9	Meadows, Toby
9	Narboux, Julien
9	Neeman, Itay
9	Pambuccian, Victor V.
9	Pratt-Hartmann, Ian
9	Shapiro, Stewart
9	Väänänen, Jouko Antero
9	Vychodil, Vilém
9	Yu, Liang
8	Bagaria, Joan
8	Dershowitz, Nachum
8	Givant, Steven R.
8	Grädel, Erich
8	Hayut, Yair
8	Hölzl, Rupert
8	Kanovei, Vladimir G.
8	Kechris, Alexander S.
8	Khoussainov, Bakhadyr M.
8	Kieroński, Emanuel
8	Kuske, Dietrich
8	Németi, István
8	Otto, Martin
8	Steel, John R.
8	Ternullo, Claudio
8	Terwijn, Sebastiaan A.
8	Trang, Nam
8	Urquhart, Alasdair
8	Wojciechowski, Piotr J.
8	Yokoyama, Keita
7	Beeson, Michael J.
7	Bienvenu, Laurent
7	Blinkhorn, Joshua
7	Bowen, Lewis Phylip
7	Cenzer, Douglas
7	Cholak, Peter A.
7	Dzhafarov, Damir D.
7	Finkel, Olivier
7	Fokina, Ekaterina B.
7	Freund, Anton
7	Gherardi, Guido
...and 2,432 more Authors

all top 5

Cited in 271 Journals

243	Annals of Pure and Applied Logic
192	The Journal of Symbolic Logic
104	The Bulletin of Symbolic Logic
100	Archive for Mathematical Logic
94	Theoretical Computer Science
89	The Review of Symbolic Logic
86	Synthese
70	Mathematical Logic Quarterly (MLQ)
66	Studia Logica
55	Journal of Philosophical Logic
50	Notre Dame Journal of Formal Logic
48	Transactions of the American Mathematical Society
46	Journal of Mathematical Logic
45	Proceedings of the American Mathematical Society
41	Information and Computation
40	Israel Journal of Mathematics
38	Advances in Mathematics
36	Logical Methods in Computer Science
34	History and Philosophy of Logic
31	Topology and its Applications
27	Journal of Algebra
26	Mathematical Structures in Computer Science
26	Theory of Computing Systems
22	Journal of Computer and System Sciences
22	Computability
20	Logica Universalis
18	Fundamenta Mathematicae
18	Journal of Automated Reasoning
18	Journal of Applied Non-Classical Logics
18	ACM Transactions on Computational Logic
15	Indagationes Mathematicae. New Series
15	Logic and Logical Philosophy
14	Algebra Universalis
12	Information Processing Letters
12	Annals of Mathematics and Artificial Intelligence
12	Erkenntnis
12	Journal of Applied Logic
11	Journal of Functional Analysis
10	Artificial Intelligence
10	Bulletin of the London Mathematical Society
10	Journal of Logic, Language and Information
10	Forum of Mathematics, Sigma
9	Journal of Mathematical Analysis and Applications
9	Information Sciences
9	Ergodic Theory and Dynamical Systems
9	Historia Mathematica
9	Journal of Logical and Algebraic Methods in Programming
8	Communications in Algebra
8	Algebra and Logic
8	Fuzzy Sets and Systems
8	Bulletin of the Section of Logic
8	Journal of the American Mathematical Society
8	Foundations of Science
8	Oberwolfach Reports
8	Groups, Geometry, and Dynamics
7	Discrete Applied Mathematics
6	Discrete Mathematics
6	International Journal of Theoretical Physics
6	Applied Mathematics and Computation
6	Journal of the London Mathematical Society. Second Series
6	Memoirs of the American Mathematical Society
6	SIAM Journal on Computing
6	International Journal of Algebra and Computation
6	International Journal of Foundations of Computer Science
6	Journal of the ACM
6	Lobachevskii Journal of Mathematics
5	Mathematische Semesterberichte
5	The Mathematical Intelligencer
5	Journal of Geometry
5	Journal of Pure and Applied Algebra
5	Proceedings of the London Mathematical Society. Third Series
5	Siberian Mathematical Journal
5	Combinatorica
5	Acta Mathematica Hungarica
5	Journal of Symbolic Computation
5	Journal of Complexity
5	Formal Aspects of Computing
5	Journal of Mathematical Sciences (New York)
5	Journal of the Institute of Mathematics of Jussieu
5	Foundations of Physics
5	Model Theory
4	Journal d’Analyse Mathématique
4	Illinois Journal of Mathematics
4	Inventiones Mathematicae
4	Mathematische Annalen
4	Mathematische Zeitschrift
4	Monatshefte für Mathematik
4	Expositiones Mathematicae
4	Selecta Mathematica. New Series
4	The Journal of Artificial Intelligence Research (JAIR)
4	Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
4	Annals of Mathematics. Second Series
4	Journal of the European Mathematical Society (JEMS)
4	RAIRO. Theoretical Informatics and Applications
4	Sibirskie Èlektronnye Matematicheskie Izvestiya
4	Formalized Mathematics
4	RAIRO. Theoretical Informatics and Applications
4	European Journal of Mathematics
4	Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
4	Logicheskie Issledovaniya
...and 171 more Journals

all top 5

Cited in 53 Fields

2,481	Mathematical logic and foundations (03-XX)
696	Computer science (68-XX)
190	History and biography (01-XX)
185	Group theory and generalizations (20-XX)
139	General and overarching topics; collections (00-XX)
122	Combinatorics (05-XX)
113	General topology (54-XX)
100	Order, lattices, ordered algebraic structures (06-XX)
70	Functional analysis (46-XX)
66	Topological groups, Lie groups (22-XX)
65	Dynamical systems and ergodic theory (37-XX)
63	Category theory; homological algebra (18-XX)
59	Measure and integration (28-XX)
56	Geometry (51-XX)
49	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
41	Field theory and polynomials (12-XX)
34	Quantum theory (81-XX)
33	General algebraic systems (08-XX)
32	Number theory (11-XX)
28	Real functions (26-XX)
24	Associative rings and algebras (16-XX)
23	Abstract harmonic analysis (43-XX)
23	Manifolds and cell complexes (57-XX)
23	Probability theory and stochastic processes (60-XX)
21	Commutative algebra (13-XX)
20	Algebraic topology (55-XX)
18	Algebraic geometry (14-XX)
10	Sequences, series, summability (40-XX)
9	Convex and discrete geometry (52-XX)
9	Information and communication theory, circuits (94-XX)
8	Operations research, mathematical programming (90-XX)
7	Operator theory (47-XX)
7	Systems theory; control (93-XX)
6	Relativity and gravitational theory (83-XX)
5	Linear and multilinear algebra; matrix theory (15-XX)
5	Statistics (62-XX)
5	Mathematics education (97-XX)
4	Partial differential equations (35-XX)
4	Difference and functional equations (39-XX)
4	Differential geometry (53-XX)
4	Numerical analysis (65-XX)
4	Mechanics of particles and systems (70-XX)
4	Statistical mechanics, structure of matter (82-XX)
3	Nonassociative rings and algebras (17-XX)
3	Potential theory (31-XX)
3	Several complex variables and analytic spaces (32-XX)
3	Ordinary differential equations (34-XX)
2	Global analysis, analysis on manifolds (58-XX)
2	Biology and other natural sciences (92-XX)
1	\(K\)-theory (19-XX)
1	Harmonic analysis on Euclidean spaces (42-XX)
1	Calculus of variations and optimal control; optimization (49-XX)
1	Fluid mechanics (76-XX)

The Bulletin of Symbolic Logic

Latest Issues

Authors

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 2,532 Authors

Cited in 271 Journals

Cited in 53 Fields

Citations by Year