×

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: 626 Publications (since 1995)
References Indexed: 469 Publications with 18,418 References.
all top 5

Latest Issues

30, No. 3 (2024)
30, No. 2 (2024)
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)
...and 16 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 Artemov, Sergei
5 Friedman, Sy-David
5 Greenberg, Noam
5 Parsons, Charles D.
5 Pillay, Anand
4 Avigad, Jeremy
4 Brady, Ross Thomas
4 Feferman, Solomon
4 Hart, Bradd T.
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 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 Harrison-Trainor, Matthew
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 Turetsky, Dan
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 Day, Adam R.
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 Goldbring, Isaac
2 Goldfarb, Warren D.
2 Griffiths, Owen
2 Halevi, Yatir
2 Haskell, Deirdre
2 Hasson, Assaf
...and 444 more Authors

Publications by Year

Citations contained in zbMATH Open

363 Publications have been cited 3,706 times in 3,099 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
152
2001
The logic of bunched implications. Zbl 0930.03095
O’Hearn, Peter W.; Pym, David J.
127
1999
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
Pestov, Vladimir G.
96
2008
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
80
1997
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
59
1998
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
55
2011
The complexity of propositional proofs. Zbl 0845.03025
Urquhart, Alasdair
54
1995
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
54
2011
The complexity of propositional proofs. Zbl 1133.03037
Segerlind, Nathan
51
2007
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
46
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
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028
Rubin, Sasha
40
2008
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055
Edalat, Abbas
40
1997
Mass problems and randomness. Zbl 1090.03015
Simpson, Stephen G.
38
2005
Describing groups. Zbl 1167.20017
Nies, André
38
2007
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
37
1999
Computability and recursion. Zbl 0861.03031
Soare, Robert I.
35
1996
Analytic ideals. Zbl 0862.04002
Solecki, Sławomir
34
1996
Square in core models. Zbl 0992.03062
Schimmerling, Ernest; Zeman, Martin
33
2001
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
33
2019
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
32
2014
Turing computations on ordinals. Zbl 1096.03053
Koepke, Peter
31
2005
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
28
2017
Second-order logic and foundations of mathematics. Zbl 1002.03013
Väänänen, Jouko
27
2001
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
26
2008
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
25
2015
Computability theory and differential geometry. Zbl 1085.03033
Soare, Robert I.
25
2004
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
24
2012
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
24
2000
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
23
2010
Optimal proofs of determinacy. Zbl 0835.03017
Neeman, Itay
23
1995
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
23
1999
The discovery of my completeness proofs. Zbl 0882.03001
Henkin, Leon
23
1996
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
23
2008
Algebraic logic, where does it stand today? Zbl 1111.03053
Sayed Ahmed, Tarek
23
2005
Logicality and invariance. Zbl 1146.03002
Bonnay, Denis
22
2008
Mathematical fuzzy logics. Zbl 1144.03023
Gottwald, Siegfried
22
2008
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
22
2013
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
22
2003
New dichotomies for Borel equivalence relations. Zbl 0889.03038
Hjorth, Greg; Kechris, Alexander S.
21
1997
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
21
2015
Machines, logic and quantum physics. Zbl 0998.68059
Deutsch, David; Ekert, Artur; Lupacchini, Rossella
21
2000
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
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
21
2017
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
20
2014
\(\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
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David
19
2006
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
18
2003
Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050
Mummert, Carl; Simpson, Stephen G.
18
2005
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
17
2010
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004
Schroeder-Heister, Peter
17
2002
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
17
2011
Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035
Rathjen, Michael
16
1995
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
16
2011
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012
Yanofsky, Noson S.
16
2003
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
16
2006
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
16
2012
Predicative fragments of Frege arithmetic. Zbl 1068.03051
Linnebo, Øystein
15
2004
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
15
1996
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï
15
2014
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
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028
Balcar, Bohuslav; Jech, Thomas
15
2006
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy
14
2004
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
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
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
14
2012
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
13
1997
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
13
2017
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024
Jaligot, Eric
13
2001
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037
Clemens, John D.; Gao, Su; Kechris, Alexander S.
13
2001
Partition theorems and computability theory. Zbl 1097.03037
Mileti, Joseph R.
13
2005
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
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040
Keisler, H. Jerome
13
2006
The road to modern logic – an interpretation. Zbl 1005.03003
Ferreirós, José
13
2001
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
13
2012
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105
van Oosten, Jaap
12
2014
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
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
12
2012
Relations between some cardinals in the absence of the axiom of choice. Zbl 1001.03041
Halbeisen, Lorenz; Shelah, Saharon
12
2001
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
12
2013
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
12
2005
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk
12
2002
Games for truth. Zbl 1193.03011
Welch, P. D.
12
2009
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
12
2017
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
12
2002
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin
11
2010
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
11
2010
The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001
Kanamori, Akihiro
11
1996
Inner models and large cardinals. Zbl 0843.03029
Jensen, Ronald
11
1995
Transfinite progressions: A second look at completeness. Zbl 1078.03047
Franzén, Torkel
11
2004
Tautologies from pseudo-random generators. Zbl 0983.03046
Krajíček, Jan
11
2001
A walk with Goodstein. Zbl 07828956
Fernández-Duque, David; Weiermann, Andreas
2
2024
Computably compact metric spaces. Zbl 07725101
Downey, Rodney G.; Melnikov, Alexander G.
7
2023
Saturated models for the working model theorist. Zbl 07725100
Halevi, Yatir; Kaplan, Itay
4
2023
Large cardinals as principles of structural reflection. Zbl 07665537
Bagaria, Joan
3
2023
Extended frames and separations of logical principles. Zbl 07749829
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita
2
2023
Menas’s conjecture revisited. Zbl 07749830
Matet, Pierre
2
2023
Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077
Hrbacek, Karel; Katz, Mikhail G.
2
2023
Tree theory: interpretability between weak first-order theories of trees. Zbl 07808883
Damnjanovic, Zlatan
1
2023
Interleaving logic and counting. Zbl 07808884
van Benthem, Johan; Icard, Thomas
1
2023
The axiom of choice is false intuitionistically (in most contexts). Zbl 07665538
McCarty, Charles; Shapiro, Stewart; Klev, Ansten
1
2023
Affine logic for constructive mathematics. Zbl 07606771
Shulman, Michael
5
2022
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
An introduction to the Scott complexity of countable structures and a survey of recent results. Zbl 1501.03002
Harrison-Trainor, Matthew
1
2022
The collapse of the Hilbert program: a variation on the Gödelian theme. Zbl 1508.03004
Kripke, Saul A.
1
2022
Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. Zbl 1505.03025
Barnes, James S.; Goh, Jun Le; Shore, Richard A.
1
2022
Strong colorings over partitions. Zbl 1496.03179
Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris
6
2021
The sense/reference distinction in constructive semantics. Zbl 1529.03066
Martin-Löf, Per
6
2021
Sealing of the universally Baire sets. Zbl 1539.03162
Sargsyan, Grigor; Trang, Nam
6
2021
Disjunctions with stopping conditions. Zbl 1539.03204
Kossak, Roman; Wcisło, Bartosz
5
2021
Sense and reference from a constructivist standpoint. Zbl 1529.03031
Dummett, Michael
3
2021
Goodstein sequences based on a parametrized Ackermann-Péter function. Zbl 1537.03085
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas
2
2021
Logicality and model classes. Zbl 1529.03193
Kennedy, Juliette; Väänänen, Jouko
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
Projective duality and the rise of modern logic. Zbl 1500.03001
Eder, Günther
1
2021
Notes on the stable regularity lemma. Zbl 1529.03202
Malliaris, M.; Shelah, S.
1
2021
Domination and regularity. Zbl 07330990
Pillay, Anand
4
2020
Finding the limit of incompleteness. I. Zbl 1464.03089
Cheng, Yong
3
2020
A reconstruction of Steel’s multiverse project. Zbl 1477.03012
Maddy, Penelope; Meadows, Toby
2
2020
Gödel diffeomorphisms. Zbl 1486.03075
Foreman, Matthew
2
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
An exposition of the compactness of \(L(Q^{\text{cf}})\). Zbl 1477.03156
Casanovas, Enrique; Ziegler, Martin
1
2020
Computability in partial combinatory algebras. Zbl 1465.03078
Terwijn, Sebastiaan A.
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
33
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
8
2019
Eta-rules in Martin-Löf type theory. Zbl 1486.03028
Klev, Ansten
5
2019
Realizing realizability results with classical constructions. Zbl 1539.03165
Karagila, Asaf
2
2019
Indirect proof and inversions of syllogisms. Zbl 1477.03006
Dyckhoff, Roy
2
2019
An extension of a theorem of Zermelo. Zbl 1477.03226
Väänänen, Jouko
1
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
A hierarchy of computably enumerable degrees. Zbl 1522.03155
Downey, Rod; Greenberg, Noam
7
2018
Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023
Pistone, Paolo
5
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
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
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
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
28
2017
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
21
2017
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
13
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
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027
Damnjanovic, Zlatan
7
2017
Products of Hurewicz spaces in the Laver model. Zbl 1421.03024
Repovš, Dušan; Zdomskyy, Lyubomyr
7
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
Constructive geometry and the parallel postulate. Zbl 1403.03130
Beeson, Michael
8
2016
Linear time in hypersequent framework. Zbl 1403.03114
Indrzejczak, Andrzej
8
2016
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012
Patey, Ludovic
8
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
6
2016
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta
4
2016
Russell and Gödel. Zbl 1380.03007
Urquhart, Alasdair
3
2016
The strength of abstraction with predicative comprehension. Zbl 1403.03121
Walsh, Sean
3
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
Relativizing operational set theory. Zbl 1432.03127
Jäger, Gerhard
2
2016
Isomorphism invariance and overgeneration. Zbl 1384.03032
Griffiths, Owen; Paseau, A. C.
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
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
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
25
2015
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
21
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
Existential-import mathematics. Zbl 1368.03012
Corcoran, John; Masoud, Hassan
2
2015
Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079
Beeson, Michael; Boutry, Pierre; Narboux, Julien
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
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
Symmetries in modal logics. Zbl 1372.03036
Areces, Carlos; Orbe, Ezequiel
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.
20
2014
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï
15
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
12
2014
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue
6
2014
Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112
Jäger, Gerhard; Zumbrunnen, Rico
5
2014
...and 263 more Documents
all top 5

Cited by 2,594 Authors

34 Apter, Arthur W.
34 Downey, Rodney Graham
29 Melnikov, Alexander G.
28 Friedman, Sy-David
28 Stephan, Frank
27 Nies, André Otfrid
26 Sanders, Sam
24 Greenberg, Noam
24 Ng, KengMeng
22 Bazhenov, Nikolaĭ Alekseevich
22 Rinot, Assaf
20 Pauly, Arno M.
20 Sayed Ahmed, Tarek
19 Schindler, Ralf-Dieter
18 Artemov, Sergei
18 Beyersdorff, Olaf
18 Levy Patey, Ludovic
18 Pym, David J.
17 Brattka, Vasco
17 Jain, Sanjay
17 Sargsyan, Grigor
16 Studer, Thomas
15 Buss, Samuel R.
15 Carl, Merlin
15 Montalbán, Antonio
14 Barmpalias, George
14 Farah, Ilijas
14 Fitting, Melvin Chris
14 Kuznets, Roman
14 Miller, Joseph S.
14 Negri, Sara
14 Weiermann, Andreas
14 Wessel, Daniel
13 Hamkins, Joel David
13 Pillay, Anand
13 Shore, Richard Arnold
12 Hirschfeldt, Denis Roman
12 Rathjen, Michael
12 Schlicht, Philipp
12 Schuster, Peter Michael
11 Harrison-Trainor, Matthew
11 Kihara, Takayuki
11 Lewis-Pye, Andrew E. M.
11 Shelah, Saharon
11 Sieg, Wilfried
11 Subramani, Krishnan
11 Visser, Albert
11 von Plato, Jan
10 Andréka, Hajnal
10 Kalimullin, Iskander Shagitovich
10 Katz, Mikhail G.
10 Manzano, María
10 Narboux, Julien
10 Tucker, John V.
10 Welch, Philip D.
9 Barton, Neil
9 Deloro, Adrien
9 Došen, Kosta
9 Feferman, Solomon
9 Freund, Anton
9 Koepke, Peter
9 Lücke, Philipp Moritz
9 Meadows, Toby
9 Neeman, Itay
9 Pambuccian, Victor V.
9 Pratt-Hartmann, Ian
9 Shapiro, Stewart
9 Ternullo, Claudio
9 Terwijn, Sebastiaan A.
9 Väänänen, Jouko Antero
9 Vychodil, Vilém
9 Yu, Liang
8 Bagaria, Joan
8 Dershowitz, Nachum
8 Gitman, Victoria
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 Todorcevic, Stevo B.
8 Trang, Nam
8 Urquhart, Alasdair
8 Wcisło, Bartosz
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.
...and 2,494 more Authors
all top 5

Cited in 276 Journals

246 Annals of Pure and Applied Logic
200 The Journal of Symbolic Logic
109 The Bulletin of Symbolic Logic
100 Archive for Mathematical Logic
94 Theoretical Computer Science
90 The Review of Symbolic Logic
86 Synthese
72 Mathematical Logic Quarterly (MLQ)
66 Studia Logica
58 Journal of Philosophical Logic
53 Transactions of the American Mathematical Society
50 Notre Dame Journal of Formal Logic
46 Proceedings of the American Mathematical Society
46 Journal of Mathematical Logic
43 Israel Journal of Mathematics
41 Information and Computation
40 Advances in Mathematics
39 History and Philosophy of Logic
37 Logical Methods in Computer Science
31 Topology and its Applications
28 Journal of Algebra
27 Mathematical Structures in Computer Science
26 Theory of Computing Systems
23 Journal of Computer and System Sciences
22 Computability
20 Logica Universalis
19 Fundamenta Mathematicae
18 Journal of Automated Reasoning
18 Journal of Applied Non-Classical Logics
18 ACM Transactions on Computational Logic
16 Algebra Universalis
15 Indagationes Mathematicae. New Series
15 Logic and Logical Philosophy
12 Information Processing Letters
12 Annals of Mathematics and Artificial Intelligence
12 Erkenntnis
12 Journal of Applied Logic
11 Bulletin of the London Mathematical Society
11 Journal of Functional Analysis
10 Artificial Intelligence
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
6 Model Theory
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
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 Order
4 Expositiones Mathematicae
4 Bulletin of the Polish Academy of Sciences, Mathematics
4 Selecta Mathematica. New Series
4 The Journal of Artificial Intelligence Research (JAIR)
4 Topoi
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
...and 176 more Journals
all top 5

Cited in 53 Fields

2,561 Mathematical logic and foundations (03-XX)
705 Computer science (68-XX)
202 History and biography (01-XX)
190 Group theory and generalizations (20-XX)
143 General and overarching topics; collections (00-XX)
128 Combinatorics (05-XX)
115 General topology (54-XX)
105 Order, lattices, ordered algebraic structures (06-XX)
71 Functional analysis (46-XX)
67 Topological groups, Lie groups (22-XX)
67 Dynamical systems and ergodic theory (37-XX)
66 Category theory; homological algebra (18-XX)
60 Measure and integration (28-XX)
58 Geometry (51-XX)
50 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
43 Field theory and polynomials (12-XX)
36 Quantum theory (81-XX)
35 General algebraic systems (08-XX)
32 Number theory (11-XX)
27 Real functions (26-XX)
25 Manifolds and cell complexes (57-XX)
24 Associative rings and algebras (16-XX)
24 Probability theory and stochastic processes (60-XX)
23 Abstract harmonic analysis (43-XX)
20 Commutative algebra (13-XX)
20 Algebraic topology (55-XX)
18 Algebraic geometry (14-XX)
10 Sequences, series, summability (40-XX)
10 Information and communication theory, circuits (94-XX)
9 Convex and discrete geometry (52-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 Nonassociative rings and algebras (17-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 Potential theory (31-XX)
3 Several complex variables and analytic spaces (32-XX)
3 Ordinary differential equations (34-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Biology and other natural sciences (92-XX)
1 \(K\)-theory (19-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Fluid mechanics (76-XX)

Citations by Year