## 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-issueshttp://projecteuclid.org/all/euclid.bslhttp://www.jstor.org/journal/bullsymblogi
 Documents Indexed: 583 Publications (since 1995) References Indexed: 442 Publications with 17,294 References.
all top 5

### Latest Issues

 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) 4, No. 4 (1998) 4, No. 3 (1998) 4, No. 2 (1998) 4, No. 1 (1998) 3, No. 4 (1997) ...and 9 more Volumes
all top 5

### Authors

 11 Kanamori, Akihiro 7 Kechris, Alexander S. 7 Nies, André Otfrid 7 von Plato, Jan 6 Shore, Richard Arnold 6 Urquhart, Alasdair 6 Väänänen, Jouko Antero 5 Downey, Rodney Graham 5 Friedman, Sy-David 5 Parsons, Charles D. 5 Pillay, Anand 4 Avigad, Jeremy 4 Brady, Ross Thomas 4 Feferman, Solomon 4 Greenberg, Noam 4 Kennedy, Juliette Cara 4 Maddy, Penelope J. 4 Sieg, Wilfried 4 Slaman, Theodore A. 4 Steel, John R. 4 van Dalen, Dirk 3 Artemov, Sergei 3 Awodey, Steve 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 Krajíček, Jan 3 Laskowski, Michael Chris 3 Lempp, Steffen 3 Mancosu, Paolo 3 Marker, David E. 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 Sher, Gila 3 Simpson, Stephen G. 3 Soare, Robert I. 3 Vardi, Moshe Ya’akov 3 Wainer, Stanley Scott 3 Zach, Richard 3 Zapletal, Jindřich 2 Arai, Toshiyasu 2 Arana, Andrew 2 Arrigoni, Tatiana 2 Bagaria, Joan 2 Beeson, Michael J. 2 Bell, John Lane 2 Bienvenu, Laurent 2 Carnielli, Walter Alexandre 2 Centrone, Stefania 2 Cheng, Yong 2 Cholak, Peter A. 2 Corcoran, John 2 Davis, Martin David 2 Deloro, Adrien 2 Dershowitz, Nachum 2 Dyckhoff, Roy 2 Džamonja, Mirna 2 Enderton, Herbert B. 2 Ferreirós, José 2 Freitag, James 2 Gherardi, Guido 2 Givant, Steven R. 2 Goldfarb, Warren D. 2 Griffiths, Owen 2 Haskell, Deirdre 2 Hasson, Assaf 2 Henkin, Leon Albert 2 Hintikka, Jaakko 2 Hirst, Jeffry Lynn 2 Hodges, Wilfrid 2 Jäger, Gerhard 2 Jaligot, Eric 2 Jech, Thomas J. 2 Jockusch, Carl G. jun. 2 Keisler, Howard Jerome 2 Khan, Mushfeq 2 Kim, Byunghan 2 Kjos-Hanssen, Bjørn 2 Koepke, Peter ...and 394 more Authors
all top 5

### Fields

 536 Mathematical logic and foundations (03-XX) 151 General and overarching topics; collections (00-XX) 126 History and biography (01-XX) 41 Computer science (68-XX) 16 Combinatorics (05-XX) 14 Group theory and generalizations (20-XX) 12 Measure and integration (28-XX) 10 General topology (54-XX) 8 Number theory (11-XX) 8 Functional analysis (46-XX) 8 Geometry (51-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Category theory; homological algebra (18-XX) 6 Field theory and polynomials (12-XX) 5 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)

### Citations contained in zbMATH Open

319 Publications have been cited 2,831 times in 2,386 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
2001
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
2008
The logic of bunched implications. Zbl 0930.03095
O’Hearn, Peter W.; Pym, David J.
1999
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
1997
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
2011
The complexity of propositional proofs. Zbl 1133.03037
Segerlind, Nathan
2007
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
1998
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
2006
The complexity of propositional proofs. Zbl 0845.03025
Urquhart, Alasdair
1995
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
2011
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André
2006
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven
1999
Mass problems and randomness. Zbl 1090.03015
Simpson, Stephen G.
2005
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055
Edalat, Abbas
1997
Analytic ideals. Zbl 0862.04002
Solecki, Sławomir
1996
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
1999
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028
Rubin, Sasha
2008
Describing groups. Zbl 1167.20017
Nies, André
2007
Computability and recursion. Zbl 0861.03031
Soare, Robert I.
1996
Automatic continuity of group homomorphisms. Zbl 1173.03037
Rosendal, Christian
2009
Square in core models. Zbl 0992.03062
Schimmerling, Ernest; Zeman, Martin
2001
Second-order logic and foundations of mathematics. Zbl 1002.03013
Väänänen, Jouko
2001
Computability theory and differential geometry. Zbl 1085.03033
Soare, Robert I.
2004
Turing computations on ordinals. Zbl 1096.03053
Koepke, Peter
2005
Mathematical fuzzy logics. Zbl 1144.03023
Gottwald, Siegfried
2008
Algebraic logic, where does it stand today? Zbl 1111.03053
Sayed Ahmed, Tarek
2005
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
2014
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
2010
The discovery of my completeness proofs. Zbl 0882.03001
Henkin, Leon
1996
Optimal proofs of determinacy. Zbl 0835.03017
Neeman, Itay
1995
New directions in descriptive set theory. Zbl 0933.03057
Kechris, Alexander S.
1999
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
2019
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036
Krajíček, Jan; Scanlon, Thomas
2000
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David
2006
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
2013
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
2008
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
2008
New dichotomies for Borel equivalence relations. Zbl 0889.03038
Hjorth, Greg; Kechris, Alexander S.
1997
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik
1998
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
1999
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y.
1999
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
2012
Machines, logic and quantum physics. Zbl 0998.68059
Deutsch, David; Ekert, Artur; Lupacchini, Rossella
2000
Partition theorems and computability theory. Zbl 1097.03037
Mileti, Joseph R.
2005
Logicality and invariance. Zbl 1146.03002
Bonnay, Denis
2008
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
2000
Recent advances in ordinal analysis: $$\Pi_ 2^ 1 - \mathbf C\mathbf A$$ and related systems. Zbl 0855.03035
Rathjen, Michael
1995
In search of ultimate-$$L$$. The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
2017
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
2014
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
2015
Proper forcing and remarkable cardinals. Zbl 0960.03044
Schindler, Ralf-Dieter
2000
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
2011
On the equimorphism types of linear orderings. Zbl 1129.03024
Montalbán, Antonio
2007
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
2017
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
1996
$$\text{HOD}^{L(\mathbb{R})}$$ is a core model below $$\Theta$$. Zbl 0826.03022
Steel, John R.
1995
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
2003
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
2015
Predicative fragments of Frege arithmetic. Zbl 1068.03051
Linnebo, Øystein
2004
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028
Balcar, Bohuslav; Jech, Thomas
2006
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
2012
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012
Yanofsky, Noson S.
2003
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040
Keisler, H. Jerome
2006
The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030
Kanamori, Akihiro
1997
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
2010
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
2012
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006
Welch, P. D.
2001
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037
Clemens, John D.; Gao, Su; Kechris, Alexander S.
2001
The road to modern logic – an interpretation. Zbl 1005.03003
Ferreirós, José
2001
Reverse mathematics and $$\Pi_2^1$$ comprehension. Zbl 1106.03050
Mummert, Carl; Simpson, Stephen G.
2005
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003
Zach, Richard
1999
Games for truth. Zbl 1193.03011
Welch, P. D.
2009
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
2017
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
1997
Hyperfinite law of large numbers. Zbl 0861.03051
Sun, Yeneng
1996
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
2014
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
2002
Forcing in proof theory. Zbl 1064.03034
2004
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
2006
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
2011
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
2012
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012
Patey, Ludovic
2016
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
2003
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024
Jaligot, Eric
2001
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin
2010
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
2012
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John
2006
Some aspects of model theory and finite structures. Zbl 1017.03015
Rosen, Eric
2002
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
2000
Set theory and $$C^*$$-algebras. Zbl 1127.46043
Weaver, Nik
2007
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
1997
From stability to simplicity. Zbl 0897.03034
Kim, Byunghan; Pillay, Anand
1998
The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001
Kanamori, Akihiro
1996
Tautologies from pseudo-random generators. Zbl 0983.03046
Krajíček, Jan
2001
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
2013
Full development of Tarski’s geometry of solids. Zbl 1156.03011
Gruszczyński, Rafał; Pietruszczak, Andrzej
2008
Transfinite progressions: A second look at completeness. Zbl 1078.03047
Franzén, Torkel
2004
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
2012
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk
2002
Platonism and mathematical intuition in Kurt Gödel’s thought. Zbl 0840.00006
Parsons, Charles
1995
Strong colorings over partitions. Zbl 1496.03179
Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris
2021
Disjunctions with stopping conditions. Zbl 07455123
Kossak, Roman; Wcisło, Bartosz
2021
Sealing of the universally Baire sets. Zbl 07455124
Sargsyan, Grigor; Trang, Nam
2021
The sense/reference distinction in constructive semantics. Zbl 07482184
Martin-Löf, Per
2021
Gödel diffeomorphisms. Zbl 1486.03075
Foreman, Matthew
2020
Finding the limit of incompleteness. I. Zbl 1464.03089
Cheng, Yong
2020
Domination and regularity. Zbl 07330990
Pillay, Anand
2020
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. Zbl 1462.03025
Ferreira, Fernando
2020
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
2019
A conjectural classification of strongly dependent fields. Zbl 1477.03134
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
2019
Model theory and machine learning. Zbl 07123753
Chase, Hunter; Freitag, James
2019
Large cardinals beyond choice. Zbl 1475.03098
Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh
2019
An extension of a theorem of Zermelo. Zbl 1477.03226
Väänänen, Jouko
2019
Realizing realizability results with classical constructions. Zbl 07167381
Karagila, Asaf
2019
A hierarchy of computably enumerable degrees. Zbl 06866160
Downey, Rod; Greenberg, Noam
2018
Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023
Pistone, Paolo
2018
Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 06966009
Sandqvist, Tor
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
2018
Strong jump-traceability. Zbl 06916705
Greenberg, Noam; Turetsky, Dan
2018
Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024
Rizza, Davide
2018
2017 European summer meeting of the Association for Symbolic Logic, Logic Colloquium ’17. Stockholm, Sweden, August 14–20, 2017. Zbl 1392.03005
2018
In search of ultimate-$$L$$. The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
2017
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
2017
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
2017
Incompleteness in the finite domain. Zbl 1423.03245
Pudlák, Pavel
2017
Some definable Galois theory and examples. Zbl 1419.03032
León Sánchez, Omar; Pillay, Anand
2017
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
2017
Products of Hurewicz spaces in the Laver model. Zbl 1421.03024
Repovš, Dušan; Zdomskyy, Lyubomyr
2017
Metavaluations. Zbl 1421.03011
2017
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027
Damnjanovic, Zlatan
2017
Intuitionistic analysis at the end of time. Zbl 1436.03312
Moschovakis, Joan Rand
2017
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012
Patey, Ludovic
2016
Constructive geometry and the parallel postulate. Zbl 1403.03130
Beeson, Michael
2016
Linear time in hypersequent framework. Zbl 1403.03114
Indrzejczak, Andrzej
2016
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
2016
Maximal computability structures. Zbl 1403.03072
Iljazović, Zvonko; Validžić, Lucija
2016
Deep $$\Pi_1^0$$ classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P.
2016
Gödel’s Notre Dame course. Zbl 1380.03003
2016
Russell and Gödel. Zbl 1380.03007
Urquhart, Alasdair
2016
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012
Caramello, Olivia; Russo, Anna Carla
2016
Early Bolzano on ground-consequence proofs. Zbl 1384.03005
Centrone, Stefania
2016
Computability and the Connes embedding problem. Zbl 1404.03037
2016
Relativizing operational set theory. Zbl 1432.03127
Jäger, Gerhard
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
2016
2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054
2016
Isomorphism invariance and overgeneration. Zbl 1384.03032
Griffiths, Owen; Paseau, A. C.
2016
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
2015
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
2015
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P.
2015
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic. Zbl 1369.03013
Mancosu, Paolo; Zach, Richard
2015
Symmetries in modal logics. Zbl 1372.03036
Areces, Carlos; Orbe, Ezequiel
2015
Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079
Beeson, Michael; Boutry, Pierre; Narboux, Julien
2015
Existential-import mathematics. Zbl 1368.03012
Corcoran, John; Masoud, Hassan
2015
Chang’s conjecture, generic elementary embeddings and inner models for huge cardinals. Zbl 1371.03054
Foreman, Matthew
2015
Saturated free algebras revisited. Zbl 1372.03066
Pillay, Anand; Sklinos, Rizos
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.
2015
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
2014
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
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
2014
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï
2014
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue
2014
Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112
Jäger, Gerhard; Zumbrunnen, Rico
2014
Erdős and set theory. Zbl 1345.03006
Kanamori, Akihiro
2014
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg
2014
Completeness and categoricity (in power): formalization without foundationalism. Zbl 1341.03043
Baldwin, John T.
2014
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002
Bruni, Riccardo; Schuster, Peter
2014
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
2013
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
2013
Logic in the 1930s: type theory and model theory. Zbl 1326.03006
Schiemer, Georg; Reck, Erich H.
2013
Interpretability in Robinson’s Q. Zbl 1325.03072
Ferreira, Fernando; Ferreira, Gilda
2013
Algorithmic randomness and measures of complexity. Zbl 1348.03039
Barmpalias, George
2013
On formalism freeness: implementing Gödel’s 1946 Princeton bicentennial lecture. Zbl 1348.03008
Kennedy, Juliette
2013
Analytic equivalence relations and the forcing method. Zbl 1326.03061
Zapletal, Jindřich
2013
Non-standard lattices and o-minimal groups. Zbl 1301.03036
Eleftheriou, Pantelis E.
2013
The foundational problem of logic. Zbl 1405.03016
Sher, Gila
2013
Shift-complex sequences. Zbl 1285.03057
Khan, Mushfeq
2013
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
2012
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
2012
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
2012
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
2012
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
2012
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
2012
In praise of replacement. Zbl 1258.03001
Kanamori, Akihiro
2012
Vaught’s theorem on axiomatizability by a scheme. Zbl 1272.03063
Visser, Albert
2012
On Tarski’s foundations of the geometry of solids. Zbl 1246.03024
Betti, Arianna; Loeb, Iris
2012
The stable core. Zbl 1258.03071
Friedman, Sy-David
2012
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
2011
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
2011
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
2011
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
2011
On arbitrary sets and ZFC. Zbl 1270.03088
Ferreirós, José
2011
Defining integers. Zbl 1278.11105
Shlapentokh, Alexandra
2011
A new proof of Friedman’s conjecture. Zbl 1242.03064
Yu, Liang
2011
$$V = L$$ and intuitive plausibility in set theory. A case study. Zbl 1258.03070
Arrigoni, Tatiana
2011
Alan Turing and the foundations of computable analysis. Zbl 1238.03003
Gherardi, Guido
2011
Early history of the generalized continuum hypothesis: 1878–1938. Zbl 1247.03002
Moore, Gregory H.
2011
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
2010
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
2010
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin
2010
Reverse mathematics: the playground of logic. Zbl 1218.03006
Shore, Richard A.
2010
...and 219 more Documents
all top 5

### Cited by 2,094 Authors

 30 Apter, Arthur W. 29 Downey, Rodney Graham 25 Friedman, Sy-David 25 Stephan, Frank 21 Greenberg, Noam 21 Melnikov, Alexander G. 21 Nies, André Otfrid 20 Sanders, Sam 19 Ng, KengMeng 19 Sayed Ahmed, Tarek 18 Patey, Ludovic 17 Pauly, Arno M. 16 Schindler, Ralf-Dieter 15 Brattka, Vasco 15 Sargsyan, Grigor 14 Jain, Sanjay 14 Montalbán, Antonio 14 Rinot, Assaf 13 Artemov, Sergei 12 Barmpalias, George 12 Beyersdorff, Olaf 12 Farah, Ilijas 12 Hirschfeldt, Denis Roman 12 Miller, Joseph S. 12 Pym, David J. 12 Shore, Richard Arnold 11 Bazhenov, Nikolaĭ Alekseevich 11 Hamkins, Joel David 11 Kuznets, Roman 11 Negri, Sara 11 Schlicht, Philipp 11 von Plato, Jan 11 Wessel, Daniel 10 Andréka, Hajnal 10 Carl, Merlin 10 Manzano, María 10 Studer, Thomas 10 Welch, Philip D. 9 Feferman, Solomon 9 Fitting, Melvin Chris 9 Harrison-Trainor, Matthew 9 Hölzl, Rupert 9 Kalimullin, Iskander Shagitovich 9 Lewis, Andrew E. M. 9 Pillay, Anand 9 Schuster, Peter Michael 9 Sieg, Wilfried 9 Subramani, Krishnan 9 Tucker, John V. 9 Vychodil, Vilém 9 Weiermann, Andreas 9 Yu, Liang 8 Došen, Kosta 8 Givant, Steven R. 8 Kanovei, Vladimir G. 8 Katz, Mikhail G. 8 Kechris, Alexander S. 8 Kihara, Takayuki 8 Koepke, Peter 8 Kuske, Dietrich 8 Lücke, Philipp Moritz 8 Neeman, Itay 8 Németi, István 8 Pambuccian, Victor V. 8 Rathjen, Michael 8 Terwijn, Sebastiaan A. 8 Väänänen, Jouko Antero 8 Visser, Albert 7 Cenzer, Douglas 7 Fokina, Ekaterina B. 7 Gherardi, Guido 7 Hayut, Yair 7 Hjorth, Gregory 7 Hrušák, Michael 7 Khoussainov, Bakhadyr M. 7 Kwela, Adam 7 Marcone, Alberto 7 Monin, Benoît 7 Narboux, Julien 7 Shafer, Paul 7 Shelah, Saharon 7 Simpson, Stephen G. 7 Standefer, Shawn 6 Barton, Neil 6 Beeson, Michael J. 6 Bělohlávek, Radim 6 Bowen, Lewis Phylip 6 Buss, Samuel R. 6 Cholak, Peter A. 6 Corcoran, John 6 Deloro, Adrien 6 Demri, Stéphane P. 6 Dershowitz, Nachum 6 Dzhafarov, Damir D. 6 Finkel, Olivier 6 Iljazović, Zvonko 6 Jaligot, Eric 6 Jockusch, Carl G. jun. 6 Kjos-Hanssen, Bjørn 6 Krajíček, Jan ...and 1,994 more Authors
all top 5

### Cited in 249 Journals

 211 Annals of Pure and Applied Logic 177 The Journal of Symbolic Logic 88 Archive for Mathematical Logic 84 Theoretical Computer Science 84 The Bulletin of Symbolic Logic 73 The Review of Symbolic Logic 67 Synthese 61 Studia Logica 47 Journal of Philosophical Logic 44 Transactions of the American Mathematical Society 42 Notre Dame Journal of Formal Logic 41 Proceedings of the American Mathematical Society 41 Journal of Mathematical Logic 37 Information and Computation 37 Mathematical Logic Quarterly (MLQ) 32 Advances in Mathematics 31 History and Philosophy of Logic 29 Israel Journal of Mathematics 29 Topology and its Applications 27 Logical Methods in Computer Science 24 Journal of Algebra 24 Theory of Computing Systems 21 Journal of Computer and System Sciences 21 MSCS. Mathematical Structures in Computer Science 19 Logica Universalis 18 Journal of Applied Non-Classical Logics 15 Journal of Automated Reasoning 15 Indagationes Mathematicae. New Series 14 Fundamenta Mathematicae 14 Computability 12 Algebra Universalis 12 Erkenntnis 12 ACM Transactions on Computational Logic 12 Journal of Applied Logic 11 Journal of Functional Analysis 11 Annals of Mathematics and Artificial Intelligence 10 Logic and Logical Philosophy 9 Information Processing Letters 9 Journal of Mathematical Analysis and Applications 9 Historia Mathematica 9 Journal of Logical and Algebraic Methods in Programming 8 Communications in Algebra 8 Fuzzy Sets and Systems 8 Information Sciences 8 Ergodic Theory and Dynamical Systems 8 Journal of the American Mathematical Society 8 Journal of Logic, Language and Information 8 Foundations of Science 7 Artificial Intelligence 7 Algebra and Logic 6 Discrete Applied Mathematics 6 International Journal of Theoretical Physics 6 Applied Mathematics and Computation 6 Memoirs of the American Mathematical Society 6 Forum of Mathematics, Sigma 5 Discrete Mathematics 5 Journal of Pure and Applied Algebra 5 SIAM Journal on Computing 5 Acta Mathematica Hungarica 5 Journal of Symbolic Computation 5 Journal of Complexity 5 Formal Aspects of Computing 5 International Journal of Algebra and Computation 5 Journal of Mathematical Sciences (New York) 5 Journal of the Institute of Mathematics of Jussieu 4 The Mathematical Intelligencer 4 Illinois Journal of Mathematics 4 Monatshefte für Mathematik 4 Siberian Mathematical Journal 4 Bulletin of the Section of Logic 4 International Journal of Foundations of Computer Science 4 Expositiones Mathematicae 4 Journal of the ACM 4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 4 Annals of Mathematics. Second Series 4 RAIRO. Theoretical Informatics and Applications 4 Foundations of Physics 4 Oberwolfach Reports 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Groups, Geometry, and Dynamics 4 RAIRO. Theoretical Informatics and Applications 4 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 3 Acta Informatica 3 International Journal of General Systems 3 Journal d’Analyse Mathématique 3 Mathematical Notes 3 Mathematische Semesterberichte 3 Inventiones Mathematicae 3 Journal of Economic Theory 3 Journal of Geometry 3 Mathematica Slovaca 3 Combinatorica 3 Order 3 International Journal of Approximate Reasoning 3 Bulletin of the Polish Academy of Sciences, Mathematics 3 Selecta Mathematica. New Series 3 Topoi 3 Journal of Group Theory 3 Lobachevskii Journal of Mathematics 3 Proceedings of the Steklov Institute of Mathematics ...and 149 more Journals
all top 5

### Cited in 51 Fields

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