×

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: 608 Publications (since 1995)
References Indexed: 458 Publications with 17,975 References.
all top 5

Latest Issues

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)
4, No. 4 (1998)
...and 13 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 Parsons, Charles D.
5 Pillay, Anand
4 Avigad, Jeremy
4 Brady, Ross Thomas
4 Feferman, Solomon
4 Greenberg, Noam
4 Kennedy, Juliette Cara
4 Krajíček, Jan
4 Maddy, Penelope J.
4 Mancosu, Paolo
4 Sieg, Wilfried
4 Slaman, Theodore A.
4 Steel, John R.
4 van Dalen, Dirk
3 Artemov, Sergei
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 Zach, Richard
3 Zapletal, Jindřich
2 Arai, Toshiyasu
2 Arana, Andrew
2 Arrigoni, Tatiana
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 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 Freitag, James
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
2 Hodges, Wilfrid
2 Holy, Peter
...and 431 more Authors

Publications by Year

Citations contained in zbMATH Open

343 Publications have been cited 3,232 times in 2,711 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
139
2001
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
Pestov, Vladimir G.
90
2008
The logic of bunched implications. Zbl 0930.03095
O’Hearn, Peter W.; Pym, David J.
87
1999
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
67
1997
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
55
2011
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
55
1998
The complexity of propositional proofs. Zbl 1133.03037
Segerlind, Nathan
50
2007
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
48
2011
The complexity of propositional proofs. Zbl 0845.03025
Urquhart, Alasdair
47
1995
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
47
2006
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André
42
2006
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055
Edalat, Abbas
38
1997
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven
38
1999
Mass problems and randomness. Zbl 1090.03015
Simpson, Stephen G.
37
2005
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028
Rubin, Sasha
36
2008
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
35
1999
Describing groups. Zbl 1167.20017
Nies, André
35
2007
Automatic continuity of group homomorphisms. Zbl 1173.03037
Rosendal, Christian
35
2009
Computability and recursion. Zbl 0861.03031
Soare, Robert I.
34
1996
Analytic ideals. Zbl 0862.04002
Solecki, Sławomir
34
1996
Square in core models. Zbl 0992.03062
Schimmerling, Ernest; Zeman, Martin
30
2001
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
28
2014
Turing computations on ordinals. Zbl 1096.03053
Koepke, Peter
27
2005
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
27
2019
Second-order logic and foundations of mathematics. Zbl 1002.03013
Väänänen, Jouko
27
2001
Computability theory and differential geometry. Zbl 1085.03033
Soare, Robert I.
24
2004
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
24
2008
Algebraic logic, where does it stand today? Zbl 1111.03053
Sayed Ahmed, Tarek
23
2005
Optimal proofs of determinacy. Zbl 0835.03017
Neeman, Itay
22
1995
Mathematical fuzzy logics. Zbl 1144.03023
Gottwald, Siegfried
22
2008
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
22
2017
The discovery of my completeness proofs. Zbl 0882.03001
Henkin, Leon
21
1996
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
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
21
1999
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
21
2000
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
21
2010
New dichotomies for Borel equivalence relations. Zbl 0889.03038
Hjorth, Greg; Kechris, Alexander S.
20
1997
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036
Krajíček, Jan; Scanlon, Thomas
20
2000
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
20
2008
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
20
2013
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
19
2003
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.
18
1995
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
18
2012
Logicality and invariance. Zbl 1146.03002
Bonnay, Denis
18
2008
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik
18
1998
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
18
2015
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
17
2017
Machines, logic and quantum physics. Zbl 0998.68059
Deutsch, David; Ekert, Artur; Lupacchini, Rossella
17
2000
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
17
2014
Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035
Rathjen, Michael
16
1995
Proper forcing and remarkable cardinals. Zbl 0960.03044
Schindler, Ralf-Dieter
16
2000
Partition theorems and computability theory. Zbl 1097.03037
Mileti, Joseph R.
16
2005
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
16
2015
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
15
2011
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
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
14
1996
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
Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050
Mummert, Carl; Simpson, Stephen G.
14
2005
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
14
2012
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
14
2012
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012
Yanofsky, Noson S.
14
2003
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028
Balcar, Bohuslav; Jech, Thomas
14
2006
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
14
2010
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
13
1997
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040
Keisler, H. Jerome
13
2006
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
13
2012
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy
13
2004
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037
Clemens, John D.; Gao, Su; Kechris, Alexander S.
13
2001
The road to modern logic – an interpretation. Zbl 1005.03003
Ferreirós, José
13
2001
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
13
2003
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
13
2006
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin
13
2010
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
12
2012
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
12
2011
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
12
2017
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
12
2012
Games for truth. Zbl 1193.03011
Welch, P. D.
12
2009
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006
Welch, P. D.
12
2001
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004
Schroeder-Heister, Peter
12
2002
Some aspects of model theory and finite structures. Zbl 1017.03015
Rosen, Eric
12
2002
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
11
2005
Hyperfinite law of large numbers. Zbl 0861.03051
Sun, Yeneng
11
1996
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
11
2017
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
11
2014
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024
Jaligot, Eric
11
2001
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
11
2002
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John
11
2006
Set theory and \(C^*\)-algebras. Zbl 1127.46043
Weaver, Nik
11
2007
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
11
2013
The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001
Kanamori, Akihiro
10
1996
Zermelo and set theory. Zbl 1098.03004
Kanamori, Akihiro
10
2004
Some definable Galois theory and examples. Zbl 1419.03032
León Sánchez, Omar; Pillay, Anand
10
2017
Transfinite progressions: A second look at completeness. Zbl 1078.03047
Franzén, Torkel
10
2004
Full development of Tarski’s geometry of solids. Zbl 1156.03011
Gruszczyński, Rafał; Pietruszczak, Andrzej
10
2008
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk
10
2002
Computably compact metric spaces. Zbl 07725101
Downey, Rodney G.; Melnikov, Alexander G.
3
2023
Saturated models for the working model theorist. Zbl 07725100
Halevi, Yatir; Kaplan, Itay
1
2023
Extended frames and separations of logical principles. Zbl 07749829
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita
1
2023
Large cardinals as principles of structural reflection. Zbl 07665537
Bagaria, Joan
1
2023
Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077
Hrbacek, Karel; Katz, Mikhail G.
1
2023
Constructing Wadge classes. Zbl 1504.03026
Carroy, Raphaël; Medini, Andrea; Müller, Sandra
2
2022
The Jacobson radical of a propositional theory. Zbl 07550752
Fellin, Giulio; Schuster, Peter; Wessel, Daniel
1
2022
Affine logic for constructive mathematics. Zbl 07606771
Shulman, Michael
1
2022
Sealing of the universally Baire sets. Zbl 07455124
Sargsyan, Grigor; Trang, Nam
8
2021
Disjunctions with stopping conditions. Zbl 07455123
Kossak, Roman; Wcisło, Bartosz
4
2021
Strong colorings over partitions. Zbl 1496.03179
Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris
3
2021
Sense and reference from a constructivist standpoint. Zbl 07482183
Dummett, Michael
2
2021
Reduction techniques for proving decidability in logics and their meet-combination. Zbl 07379167
Rasga, João; Sernadas, Cristina; Carnielli, Walter
1
2021
Current research on Gödel’s incompleteness theorems. Zbl 1497.03067
Cheng, Yong
1
2021
The sense/reference distinction in constructive semantics. Zbl 07482184
Martin-Löf, Per
1
2021
Kurt Gödel on logical, theological, and physical antinomies. Zbl 1482.03001
Lethen, Tim
1
2021
Finding the limit of incompleteness. I. Zbl 1464.03089
Cheng, Yong
3
2020
Domination and regularity. Zbl 07330990
Pillay, Anand
2
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
1
2020
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. Zbl 1462.03025
Ferreira, Fernando
1
2020
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
27
2019
Large cardinals beyond choice. Zbl 1475.03098
Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh
7
2019
A conjectural classification of strongly dependent fields. Zbl 1477.03134
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
6
2019
Model theory and machine learning. Zbl 1506.03095
Chase, Hunter; Freitag, James
3
2019
Realizing realizability results with classical constructions. Zbl 07167381
Karagila, Asaf
2
2019
Henkin constructions of models with size continuum. Zbl 07049058
Baldwin, John T.; Laskowski, Michael C.
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
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
3
2018
Strong jump-traceability. Zbl 1522.03157
Greenberg, Noam; Turetsky, Dan
2
2018
A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040
Palmgren, Erik
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
Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 1522.03317
Sandqvist, Tor
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
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
22
2017
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
17
2017
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
12
2017
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
11
2017
Some definable Galois theory and examples. Zbl 1419.03032
León Sánchez, Omar; Pillay, Anand
10
2017
Incompleteness in the finite domain. Zbl 1423.03245
Pudlák, Pavel
9
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
5
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
7
2016
Linear time in hypersequent framework. Zbl 1403.03114
Indrzejczak, Andrzej
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
Deep \(\Pi_1^0\) classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P.
5
2016
Computability and the Connes embedding problem. Zbl 1404.03037
Goldbring, Isaac; Hart, Bradd
3
2016
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta
3
2016
Russell and Gödel. Zbl 1380.03007
Urquhart, Alasdair
3
2016
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012
Caramello, Olivia; Russo, Anna Carla
2
2016
Early Bolzano on ground-consequence proofs. Zbl 1384.03005
Centrone, Stefania
2
2016
Relativizing operational set theory. Zbl 1432.03127
Jäger, Gerhard
2
2016
The strength of abstraction with predicative comprehension. Zbl 1403.03121
Walsh, Sean
1
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
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
18
2015
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
16
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
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
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
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
28
2014
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
17
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
11
2014
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï
10
2014
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue
4
2014
Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112
Jäger, Gerhard; Zumbrunnen, Rico
4
2014
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg
2
2014
Erdős and set theory. Zbl 1345.03006
Kanamori, Akihiro
2
2014
Completeness and categoricity (in power): formalization without foundationalism. Zbl 1341.03043
Baldwin, John T.
1
2014
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002
Bruni, Riccardo; Schuster, Peter
1
2014
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105
van Oosten, Jaap
1
2014
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
20
2013
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
11
2013
Interpretability in Robinson’s Q. Zbl 1325.03072
Ferreira, Fernando; Ferreira, Gilda
8
2013
Logic in the 1930s: type theory and model theory. Zbl 1326.03006
Schiemer, Georg; Reck, Erich H.
8
2013
Algorithmic randomness and measures of complexity. Zbl 1348.03039
Barmpalias, George
3
2013
On formalism freeness: implementing Gödel’s 1946 Princeton bicentennial lecture. Zbl 1348.03008
Kennedy, Juliette
3
2013
The foundational problem of logic. Zbl 1405.03016
Sher, Gila
3
2013
Non-standard lattices and o-minimal groups. Zbl 1301.03036
Eleftheriou, Pantelis E.
2
2013
Analytic equivalence relations and the forcing method. Zbl 1326.03061
Zapletal, Jindřich
1
2013
Shift-complex sequences. Zbl 1285.03057
Khan, Mushfeq
1
2013
The Horn theory of Boole’s partial algebras. Zbl 1288.03037
Burris, Stanley N.; Sankappanavar, H. P.
1
2013
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
18
2012
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
14
2012
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
14
2012
...and 243 more Documents
all top 5

Cited by 2,298 Authors

32 Apter, Arthur W.
31 Downey, Rodney Graham
28 Stephan, Frank
26 Friedman, Sy-David
25 Melnikov, Alexander G.
22 Nies, André Otfrid
22 Sanders, Sam
21 Greenberg, Noam
21 Ng, KengMeng
20 Sayed Ahmed, Tarek
18 Patey, Ludovic
18 Pauly, Arno M.
18 Schindler, Ralf-Dieter
17 Artemov, Sergei
17 Bazhenov, Nikolaĭ Alekseevich
17 Rinot, Assaf
16 Brattka, Vasco
16 Jain, Sanjay
16 Sargsyan, Grigor
15 Beyersdorff, Olaf
14 Carl, Merlin
14 Farah, Ilijas
14 Montalbán, Antonio
14 Pym, David J.
14 Studer, Thomas
13 Buss, Samuel R.
13 Negri, Sara
13 Shore, Richard Arnold
13 Wessel, Daniel
12 Barmpalias, George
12 Hamkins, Joel David
12 Hirschfeldt, Denis Roman
12 Kuznets, Roman
12 Miller, Joseph S.
11 Fitting, Melvin Chris
11 Lewis-Pye, Andrew E. M.
11 Pillay, Anand
11 Rathjen, Michael
11 Schlicht, Philipp
11 Sieg, Wilfried
11 von Plato, Jan
10 Andréka, Hajnal
10 Harrison-Trainor, Matthew
10 Manzano, María
10 Schuster, Peter Michael
10 Shelah, Saharon
10 Tucker, John V.
10 Welch, Philip D.
9 Došen, Kosta
9 Feferman, Solomon
9 Hölzl, Rupert
9 Kalimullin, Iskander Shagitovich
9 Katz, Mikhail G.
9 Kihara, Takayuki
9 Koepke, Peter
9 Narboux, Julien
9 Shapiro, Stewart
9 Subramani, Krishnan
9 Väänänen, Jouko Antero
9 Visser, Albert
9 Vychodil, Vilém
9 Weiermann, Andreas
9 Yu, Liang
8 Deloro, Adrien
8 Dershowitz, Nachum
8 Givant, Steven R.
8 Hayut, Yair
8 Kanovei, Vladimir G.
8 Kechris, Alexander S.
8 Khoussainov, Bakhadyr M.
8 Kuske, Dietrich
8 Lücke, Philipp Moritz
8 Neeman, Itay
8 Németi, István
8 Pambuccian, Victor V.
8 Steel, John R.
8 Ternullo, Claudio
8 Terwijn, Sebastiaan A.
8 Woodin, W. Hugh
7 Bowen, Lewis Phylip
7 Cenzer, Douglas
7 Finkel, Olivier
7 Fokina, Ekaterina B.
7 Freund, Anton
7 Gherardi, Guido
7 Grädel, Erich
7 Hjorth, Gregory
7 Hrušák, Michael
7 Kwela, Adam
7 Marcone, Alberto
7 Meadows, Toby
7 Monin, Benoît
7 Motto Ros, Luca
7 Müller, Moritz
7 Müller, Sandra
7 Otto, Martin
7 Pratt-Hartmann, Ian
7 Shafer, Paul
7 Simpson, Stephen G.
7 Standefer, Shawn
...and 2,198 more Authors
all top 5

Cited in 264 Journals

225 Annals of Pure and Applied Logic
188 The Journal of Symbolic Logic
95 The Bulletin of Symbolic Logic
91 Archive for Mathematical Logic
88 Theoretical Computer Science
83 The Review of Symbolic Logic
82 Synthese
67 Mathematical Logic Quarterly (MLQ)
66 Studia Logica
53 Journal of Philosophical Logic
46 Transactions of the American Mathematical Society
44 Journal of Mathematical Logic
43 Notre Dame Journal of Formal Logic
43 Proceedings of the American Mathematical Society
39 Information and Computation
34 Israel Journal of Mathematics
34 Advances in Mathematics
34 History and Philosophy of Logic
30 Logical Methods in Computer Science
29 Topology and its Applications
26 Journal of Algebra
25 MSCS. Mathematical Structures in Computer Science
25 Theory of Computing Systems
22 Journal of Computer and System Sciences
19 Logica Universalis
18 Journal of Applied Non-Classical Logics
18 ACM Transactions on Computational Logic
18 Computability
17 Journal of Automated Reasoning
15 Fundamenta Mathematicae
15 Indagationes Mathematicae. New Series
13 Algebra Universalis
12 Annals of Mathematics and Artificial Intelligence
12 Erkenntnis
12 Logic and Logical Philosophy
12 Journal of Applied Logic
11 Information Processing Letters
11 Journal of Functional Analysis
9 Artificial Intelligence
9 Journal of Mathematical Analysis and Applications
9 Information Sciences
9 Ergodic Theory and Dynamical Systems
9 Historia Mathematica
9 Journal of Logic, Language and Information
9 Journal of Logical and Algebraic Methods in Programming
8 Communications in Algebra
8 Algebra and Logic
8 Bulletin of the London Mathematical Society
8 Fuzzy Sets and Systems
8 Journal of the American Mathematical Society
8 Foundations of Science
7 Forum of Mathematics, Sigma
6 Discrete Applied Mathematics
6 International Journal of Theoretical Physics
6 Applied Mathematics and Computation
6 Memoirs of the American Mathematical Society
6 Bulletin of the Section of Logic
6 International Journal of Algebra and Computation
6 International Journal of Foundations of Computer Science
6 Oberwolfach Reports
5 Discrete Mathematics
5 The Mathematical Intelligencer
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 Journal of Mathematical Sciences (New York)
5 Lobachevskii Journal of Mathematics
5 Journal of the Institute of Mathematics of Jussieu
5 Groups, Geometry, and Dynamics
4 Journal d’Analyse Mathématique
4 Mathematische Semesterberichte
4 Illinois Journal of Mathematics
4 Inventiones Mathematicae
4 Monatshefte für Mathematik
4 Siberian Mathematical Journal
4 Expositiones Mathematicae
4 Selecta Mathematica. New Series
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 Sibirskie Èlektronnye Matematicheskie Izvestiya
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
3 Acta Informatica
3 International Journal of General Systems
3 Mathematical Notes
3 Rocky Mountain Journal of Mathematics
3 Commentationes Mathematicae Universitatis Carolinae
3 Journal of Economic Theory
3 Journal of Geometry
3 Journal of the London Mathematical Society. Second Series
3 Mathematica Slovaca
3 Mathematische Zeitschrift
...and 164 more Journals
all top 5

Cited in 52 Fields

2,247 Mathematical logic and foundations (03-XX)
605 Computer science (68-XX)
182 History and biography (01-XX)
166 Group theory and generalizations (20-XX)
123 General and overarching topics; collections (00-XX)
102 Combinatorics (05-XX)
100 General topology (54-XX)
89 Order, lattices, ordered algebraic structures (06-XX)
66 Functional analysis (46-XX)
58 Measure and integration (28-XX)
57 Topological groups, Lie groups (22-XX)
56 Dynamical systems and ergodic theory (37-XX)
50 Geometry (51-XX)
50 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
47 Category theory; homological algebra (18-XX)
34 Field theory and polynomials (12-XX)
31 Number theory (11-XX)
28 General algebraic systems (08-XX)
27 Real functions (26-XX)
26 Quantum theory (81-XX)
22 Abstract harmonic analysis (43-XX)
22 Probability theory and stochastic processes (60-XX)
20 Associative rings and algebras (16-XX)
19 Commutative algebra (13-XX)
18 Manifolds and cell complexes (57-XX)
17 Algebraic geometry (14-XX)
12 Algebraic topology (55-XX)
10 Sequences, series, summability (40-XX)
9 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)
7 Mathematics education (97-XX)
6 Relativity and gravitational theory (83-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Operations research, mathematical programming (90-XX)
4 Differential geometry (53-XX)
4 Statistics (62-XX)
4 Numerical analysis (65-XX)
4 Mechanics of particles and systems (70-XX)
3 Nonassociative rings and algebras (17-XX)
3 Several complex variables and analytic spaces (32-XX)
3 Partial differential equations (35-XX)
3 Difference and functional equations (39-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Potential theory (31-XX)
2 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)

Citations by Year