×

zbMATH — the first resource for mathematics

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
Documents Indexed: 548 Publications (since 1995)
References Indexed: 413 Publications with 16,268 References.
all top 5

Latest Issues

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

Authors

11 Kanamori, Akihiro
7 Kechris, Alexander S.
7 Nies, André Otfrid
7 von Plato, Jan
6 Urquhart, Alasdair
5 Downey, Rodney Graham
5 Friedman, Sy-David
5 Parsons, Charles D.
5 Pillay, Anand
5 Shore, Richard A.
5 Väänänen, Jouko Antero
4 Avigad, Jeremy
4 Brady, Ross Thomas
4 Feferman, Solomon
4 Greenberg, Noam
4 Maddy, Penelope J.
4 Sieg, Wilfried
4 Steel, John R.
4 van Dalen, Dirk
3 Artemov, Sergei
3 Awodey, Steve
3 Baldwin, John T.
3 Ben-Yaacov, Itaï
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 Kennedy, Juliette Cara
3 Knight, Julia F.
3 Kolaitis, Phokion G.
3 Krajíček, Jan
3 Lempp, Steffen
3 Mancosu, Paolo
3 Miller, Joseph S.
3 Montalbán, Antonio
3 Moschovakis, Yiannis Nicholas
3 Neeman, Itay
3 Pohlers, Wolfram
3 Simpson, Stephen G.
3 Slaman, Theodore A.
3 Soare, Robert I.
3 Vardi, Moshe Y.
3 Wainer, Stanley Scott
3 Zach, Richard
2 Arai, Toshiyasu
2 Arana, Andrew
2 Arrigoni, Tatiana
2 Bagaria, Joan
2 Beeson, Michael J.
2 Bell, John Lane
2 Bienvenu, Laurent
2 Bimbó, Katalin
2 Blass, Andreas Raphael
2 Bunder, Martin W.
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 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
2 Köllner, Peter
2 Kučera, Antonín
2 Laskowski, Michael Chris
2 Lupini, Martino
2 Marker, David E.
2 Martin, Donald A.
2 Melnikov, Alexander G.
2 Moschovakis, Joan Rand
2 Negri, Sara
2 Nerode, Anil
...and 361 more Authors

Publications by Year

Citations contained in zbMATH Open

300 Publications have been cited 2,450 times in 2,112 Documents Cited by Year
Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N.
113
2001
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
Pestov, Vladimir G.
72
2008
The logic of bunched implications. Zbl 0930.03095
O’Hearn, Peter W.; Pym, David J.
67
1999
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
48
1997
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
45
2011
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
41
2006
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André
39
2006
The complexity of propositional proofs. Zbl 1133.03037
Segerlind, Nathan
39
2007
Mass problems and randomness. Zbl 1090.03015
Simpson, Stephen G.
34
2005
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan
33
1998
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven
33
1999
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055
Edalat, Abbas
33
1997
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
32
1999
Analytic ideals. Zbl 0862.04002
Solecki, Sławomir
32
1996
The complexity of propositional proofs. Zbl 0845.03025
Urquhart, Alasdair
30
1995
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
30
2011
Computability and recursion. Zbl 0861.03031
Soare, Robert I.
28
1996
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028
Rubin, Sasha
27
2008
Square in core models. Zbl 0992.03062
Schimmerling, Ernest; Zeman, Martin
27
2001
Describing groups. Zbl 1167.20017
Nies, André
26
2007
Automatic continuity of group homomorphisms. Zbl 1173.03037
Rosendal, Christian
25
2009
Computability theory and differential geometry. Zbl 1085.03033
Soare, Robert I.
24
2004
Mathematical fuzzy logics. Zbl 1144.03023
Gottwald, Siegfried
22
2008
Algebraic logic, where does it stand today? Zbl 1111.03053
Sayed Ahmed, Tarek
21
2005
Turing computations on ordinals. Zbl 1096.03053
Koepke, Peter
19
2005
Second-order logic and foundations of mathematics. Zbl 1002.03013
Väänänen, Jouko
19
2001
The discovery of my completeness proofs. Zbl 0882.03001
Henkin, Leon
19
1996
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
19
2010
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David
18
2006
New directions in descriptive set theory. Zbl 0933.03057
Kechris, Alexander S.
18
1999
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036
Krajíček, Jan; Scanlon, Thomas
17
2000
New dichotomies for Borel equivalence relations. Zbl 0889.03038
Hjorth, Greg; Kechris, Alexander S.
17
1997
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y.
16
1999
Machines, logic and quantum physics. Zbl 0998.68059
Deutsch, David; Ekert, Artur; Lupacchini, Rossella
16
2000
Optimal proofs of determinacy. Zbl 0835.03017
Neeman, Itay
16
1995
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
16
2014
On the equimorphism types of linear orderings. Zbl 1129.03024
Montalbán, Antonio
15
2007
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan
15
2008
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik
15
1998
Proper forcing and remarkable cardinals. Zbl 0960.03044
Schindler, Ralf-Dieter
15
2000
Partition theorems and computability theory. Zbl 1097.03037
Mileti, Joseph R.
14
2005
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
14
1999
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
14
1996
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
14
2011
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
14
2012
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
13
2000
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
13
2008
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
13
2014
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
13
2013
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040
Keisler, H. Jerome
12
2006
\(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022
Steel, John R.
12
1995
Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035
Rathjen, Michael
12
1995
Predicative fragments of Frege arithmetic. Zbl 1068.03051
Linnebo, Øystein
12
2004
The road to modern logic – an interpretation. Zbl 1005.03003
Ferreirós, José
12
2001
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
12
2003
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
12
2012
Foundations of online structure theory. Zbl 07087944
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
12
2019
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028
Balcar, Bohuslav; Jech, Thomas
11
2006
Logicality and invariance. Zbl 1146.03002
Bonnay, Denis
11
2008
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
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
11
2017
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy
11
2004
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037
Clemens, John D.; Gao, Su; Kechris, Alexander S.
11
2001
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012
Yanofsky, Noson S.
11
2003
The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030
Kanamori, Akihiro
11
1997
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003
Zach, Richard
11
1999
Games for truth. Zbl 1193.03011
Welch, P. D.
11
2009
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
11
2010
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara
11
2015
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
11
2012
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
10
2006
Set theory and \(C^*\)-algebras. Zbl 1127.46043
Weaver, Nik
10
2007
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024
Jaligot, Eric
10
2001
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006
Welch, P. D.
10
2001
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
10
2011
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
10
2012
Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050
Mummert, Carl; Simpson, Stephen G.
9
2005
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John
9
2006
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
9
2000
Tautologies from pseudo-random generators. Zbl 0983.03046
Krajíček, Jan
9
2001
Transfinite progressions: A second look at completeness. Zbl 1078.03047
Franzén, Torkel
9
2004
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
9
2002
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
9
1997
Hyperfinite law of large numbers. Zbl 0861.03051
Sun, Yeneng
9
1996
From stability to simplicity. Zbl 0897.03034
Kim, Byunghan; Pillay, Anand
9
1998
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
9
2017
Full development of Tarski’s geometry of solids. Zbl 1156.03011
Gruszczyński, Rafał; Pietruszczak, Andrzej
8
2008
Platonism and mathematical intuition in Kurt Gödel’s thought. Zbl 0840.00006
Parsons, Charles
8
1995
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
8
1997
Computable and continuous partial homomorphisms on metric partial algebras. Zbl 1058.03070
Stoltenberg-Hansen, Viggo; Tucker, John V.
8
2003
Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview. Zbl 0958.03022
Le Bars, Jean-Marie
8
2000
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
8
2012
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
8
2012
Degree structures: local and global investigations. Zbl 1119.03039
Shore, Richard A.
7
2006
Classifying the provably total functions of PA. Zbl 1118.03053
Weiermann, Andreas
7
2006
Relating first-order set theories and elementary toposes. Zbl 1152.03043
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
7
2007
Asymptotic cones and ultrapowers of Lie groups. Zbl 1067.03073
Kramer, Linus; Tent, Katrin
7
2004
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
7
2004
On the complexity of the classification problem for torsion-free Abelian groups of finite rank. Zbl 1006.20042
Thomas, Simon
7
2001
Groups and algebras of binary relations. Zbl 1002.03055
Givant, Steven; Andréka, Hajnal
7
2002
Finding the limit of incompleteness. I. Zbl 1464.03089
Cheng, Yong
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 07087944
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander
12
2019
A conjectural classification of strongly dependent fields. Zbl 07087945
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
2
2019
Large cardinals beyond choice. Zbl 07123752
Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh
1
2019
Model theory and machine learning. Zbl 07123753
Chase, Hunter; Freitag, James
1
2019
Realizing realizability results with classical constructions. Zbl 07167381
Karagila, Asaf
1
2019
A hierarchy of computably enumerable degrees. Zbl 06866160
Downey, Rod; Greenberg, Noam
5
2018
Strong jump-traceability. Zbl 06916705
Greenberg, Noam; Turetsky, Dan
1
2018
Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024
Rizza, Davide
1
2018
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh
11
2017
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S.
9
2017
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
7
2017
Products of Hurewicz spaces in the Laver model. Zbl 1421.03024
Repovš, Dušan; Zdomskyy, Lyubomyr
6
2017
Some definable Galois theory and examples. Zbl 1419.03032
León Sánchez, Omar; Pillay, Anand
6
2017
Incompleteness in the finite domain. Zbl 1423.03245
Pudlák, Pavel
5
2017
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas
4
2017
Intuitionistic analysis at the end of time. Zbl 1436.03312
Moschovakis, Joan Rand
1
2017
Metavaluations. Zbl 1421.03011
Brady, Ross T.
1
2017
Constructive geometry and the parallel postulate. Zbl 1403.03130
Beeson, Michael
6
2016
Linear time in hypersequent framework. Zbl 1403.03114
Indrzejczak, Andrzej
5
2016
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
5
2016
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012
Patey, Ludovic
4
2016
Maximal computability structures. Zbl 1403.03072
Iljazović, Zvonko; Validžić, Lucija
4
2016
Deep \(\Pi_1^0\) classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P.
3
2016
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta
3
2016
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012
Caramello, Olivia; Russo, Anna Carla
2
2016
Relativizing operational set theory. Zbl 1432.03127
Jäger, Gerhard
2
2016
Early Bolzano on ground-consequence proofs. Zbl 1384.03005
Centrone, Stefania
1
2016
2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054
Westerståhk, Daj
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
11
2015
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor
7
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
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
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
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf
16
2014
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G.
13
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ï
6
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
Erdős and set theory. Zbl 1345.03006
Kanamori, Akihiro
2
2014
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg
1
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
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
13
2013
Interpretability in Robinson’s Q. Zbl 1325.03072
Ferreira, Fernando; Ferreira, Gilda
5
2013
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor
5
2013
Logic in the 1930s: type theory and model theory. Zbl 1326.03006
Schiemer, Georg; Reck, Erich H.
4
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
2
2013
Analytic equivalence relations and the forcing method. Zbl 1326.03061
Zapletal, Jindřich
1
2013
The foundational problem of logic. Zbl 1405.03016
Sher, Gila
1
2013
Shift-complex sequences. Zbl 1285.03057
Khan, Mushfeq
1
2013
Non-standard lattices and o-minimal groups. Zbl 1301.03036
Eleftheriou, Pantelis E.
1
2013
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip
14
2012
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D.
12
2012
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan
11
2012
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G.
10
2012
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
8
2012
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko
8
2012
In praise of replacement. Zbl 1258.03001
Kanamori, Akihiro
4
2012
The stable core. Zbl 1258.03071
Friedman, Sy-David
2
2012
Vaught’s theorem on axiomatizability by a scheme. Zbl 1272.03063
Visser, Albert
2
2012
On Tarski’s foundations of the geometry of solids. Zbl 1246.03024
Betti, Arianna; Loeb, Iris
1
2012
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido
45
2011
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio
30
2011
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J.
14
2011
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo
10
2011
On arbitrary sets and ZFC. Zbl 1270.03088
Ferreirós, José
5
2011
Defining integers. Zbl 1278.11105
Shlapentokh, Alexandra
4
2011
A new proof of Friedman’s conjecture. Zbl 1242.03064
Yu, Liang
3
2011
\(V = L\) and intuitive plausibility in set theory. A case study. Zbl 1258.03070
Arrigoni, Tatiana
2
2011
Alan Turing and the foundations of computable analysis. Zbl 1238.03003
Gherardi, Guido
2
2011
Early history of the generalized continuum hypothesis: 1878–1938. Zbl 1247.03002
Moore, Gregory H.
2
2011
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro
19
2010
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N.
11
2010
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin
7
2010
Reverse mathematics: the playground of logic. Zbl 1218.03006
Shore, Richard A.
7
2010
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
6
2010
An invitation to model-theoretic Galois theory. Zbl 1207.03045
Medvedev, Alice; Takloo-Bighash, Ramin
4
2010
Strong logics of first and second order. Zbl 1193.03019
Koellner, Peter
3
2010
The axiom of infinity and transformations \(j: V \rightarrow V\). Zbl 1196.03069
Corazza, Paul
1
2010
The senses of functions in the logic of sense and denotation. Zbl 1211.03012
Klement, Kevin C.
1
2010
Automatic continuity of group homomorphisms. Zbl 1173.03037
Rosendal, Christian
25
2009
Games for truth. Zbl 1193.03011
Welch, P. D.
11
2009
Mass problems and measure-theoretic regularity. Zbl 1191.03007
Simpson, Stephen G.
7
2009
Actions of groups of finite Morley rank on small abelian groups. Zbl 1172.03022
Deloro, Adrien
5
2009
A survey of propositional realizability logic. Zbl 1170.03005
Plisko, Valery
4
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
4
2009
Bernays and set theory. Zbl 1172.03002
Kanamori, Akihiro
3
2009
Isomorphism types of maximal cofinitary groups. Zbl 1183.03040
Kastermans, Bart
2
2009
In memoriam: Leon Albert Henkin (1921-2006). Zbl 1171.01322
Monk, J. Donald
2
2009
Borel reducibility and classification of von Neumann algebras. Zbl 1171.03026
Sasyk, Román; Törnquist, Asger
1
2009
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
Pestov, Vladimir G.
72
2008
...and 200 more Documents
all top 5

Cited by 1,869 Authors

29 Apter, Arthur W.
27 Downey, Rodney Graham
24 Friedman, Sy-David
21 Stephan, Frank
20 Melnikov, Alexander G.
19 Ng, KengMeng
18 Greenberg, Noam
18 Sayed Ahmed, Tarek
17 Nies, André Otfrid
16 Schindler, Ralf-Dieter
15 Patey, Ludovic
15 Sanders, Sam
14 Montalbán, Antonio
14 Pauly, Arno M.
13 Brattka, Vasco
12 Artemov, Sergei
12 Barmpalias, George
12 Pym, David J.
11 Beyersdorff, Olaf
11 Hirschfeldt, Denis Roman
11 Jain, Sanjay
11 Kuznets, Roman
11 Miller, Joseph S.
11 Sargsyan, Grigor
11 Schlicht, Philipp
11 Shore, Richard A.
11 von Plato, Jan
10 Andréka, Hajnal
10 Farah, Ilijas
10 Hamkins, Joel David
10 Manzano, María
10 Rinot, Assaf
10 Welch, Philip D.
9 Feferman, Solomon
9 Fitting, Melvin Chris
9 Hölzl, Rupert
9 Lewis, Andrew E. M.
9 Negri, Sara
9 Tucker, John V.
9 Vychodil, Vilém
9 Weiermann, Andreas
8 Bazhenov, Nikolaĭ Alekseevich
8 Došen, Kosta
8 Givant, Steven R.
8 Harrison-Trainor, Matthew
8 Kanovei, Vladimir G.
8 Katz, Mikhail G.
8 Kechris, Alexander S.
8 Koepke, Peter
8 Neeman, Itay
8 Németi, István
8 Pambuccian, Victor V.
8 Rathjen, Michael
8 Sieg, Wilfried
8 Yu, Liang
7 Carl, Merlin
7 Cenzer, Douglas
7 Fokina, Ekaterina B.
7 Hayut, Yair
7 Hjorth, Gregory
7 Kalimullin, Iskander Shagitovich
7 Khoussainov, Bakhadyr M.
7 Kihara, Takayuki
7 Pillay, Anand
7 Shafer, Paul
7 Simpson, Stephen G.
7 Subramani, Krishnan
7 Terwijn, Sebastiaan A.
7 Visser, Albert
6 Bělohlávek, Radim
6 Bowen, Lewis Phylip
6 Buss, Samuel R.
6 Cholak, Peter A.
6 Corcoran, John
6 Deloro, Adrien
6 Finkel, Olivier
6 Gherardi, Guido
6 Jaligot, Eric
6 Jockusch, Carl G. jun.
6 Kjos-Hanssen, Bjørn
6 Krajíček, Jan
6 Kreuzer, Alexander P.
6 Kuske, Dietrich
6 Kwela, Adam
6 Marcone, Alberto
6 Meadows, Toby
6 Mummert, Carl
6 Narboux, Julien
6 Ostaszewski, Adam J.
6 Steel, John R.
6 Studer, Thomas
6 Sun, Yeneng
6 Ternullo, Claudio
6 Väänänen, Jouko Antero
6 Wagner, Uli
6 Wessel, Daniel
6 Yokoyama, Keita
6 Zapletal, Jindřich
6 Zdoms’kyĭ, Lyubomyr Sergiĭovych
5 Alonso, Enrique
...and 1,769 more Authors
all top 5

Cited in 229 Journals

197 Annals of Pure and Applied Logic
164 The Journal of Symbolic Logic
82 Archive for Mathematical Logic
79 Theoretical Computer Science
75 The Bulletin of Symbolic Logic
67 The Review of Symbolic Logic
57 Studia Logica
51 Synthese
41 Journal of Philosophical Logic
40 Transactions of the American Mathematical Society
38 Notre Dame Journal of Formal Logic
38 Proceedings of the American Mathematical Society
37 Mathematical Logic Quarterly (MLQ)
36 Journal of Mathematical Logic
31 Information and Computation
30 History and Philosophy of Logic
28 Advances in Mathematics
27 Israel Journal of Mathematics
27 Topology and its Applications
24 Theory of Computing Systems
23 Journal of Algebra
22 Logical Methods in Computer Science
21 Journal of Computer and System Sciences
21 MSCS. Mathematical Structures in Computer Science
18 Journal of Applied Non-Classical Logics
15 Indagationes Mathematicae. New Series
14 Logica Universalis
12 Fundamenta Mathematicae
12 Journal of Automated Reasoning
12 ACM Transactions on Computational Logic
12 Journal of Applied Logic
11 Algebra Universalis
11 Journal of Functional Analysis
11 Erkenntnis
10 Annals of Mathematics and Artificial Intelligence
9 Information Processing Letters
9 Journal of Mathematical Analysis and Applications
8 Communications in Algebra
8 Fuzzy Sets and Systems
8 Ergodic Theory and Dynamical Systems
8 Journal of the American Mathematical Society
8 Historia Mathematica
8 Logic and Logical Philosophy
7 Artificial Intelligence
7 Information Sciences
7 Journal of Logic, Language and Information
7 Computability
7 Journal of Logical and Algebraic Methods in Programming
6 International Journal of Theoretical Physics
6 Algebra and Logic
6 Applied Mathematics and Computation
6 Foundations of Science
6 Forum of Mathematics, Sigma
5 Discrete Applied Mathematics
5 Discrete Mathematics
5 Journal of Pure and Applied Algebra
5 Memoirs of the American Mathematical Society
5 SIAM Journal on Computing
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)
4 Illinois Journal of Mathematics
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 Journal of the Institute of Mathematics of Jussieu
4 Oberwolfach Reports
4 RAIRO. Theoretical Informatics and Applications
4 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
3 International Journal of General Systems
3 Mathematical Notes
3 Mathematische Semesterberichte
3 The Mathematical Intelligencer
3 Journal of Economic Theory
3 Journal of Geometry
3 Monatshefte für Mathematik
3 Combinatorica
3 Order
3 International Journal of Approximate Reasoning
3 Bulletin of the Polish Academy of Sciences, Mathematics
3 Topoi
3 Foundations of Physics
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Proceedings of the Steklov Institute of Mathematics
3 Groups, Geometry, and Dynamics
2 Acta Informatica
2 Journal d’Analyse Mathématique
2 Rocky Mountain Journal of Mathematics
2 Annales de l’Institut Fourier
2 Archiv der Mathematik
2 Bulletin of the London Mathematical Society
2 Commentationes Mathematicae Universitatis Carolinae
2 Compositio Mathematica
...and 129 more Journals
all top 5

Cited in 51 Fields

1,749 Mathematical logic and foundations (03-XX)
464 Computer science (68-XX)
140 History and biography (01-XX)
127 Group theory and generalizations (20-XX)
94 General and overarching topics; collections (00-XX)
80 General topology (54-XX)
74 Combinatorics (05-XX)
72 Order, lattices, ordered algebraic structures (06-XX)
52 Functional analysis (46-XX)
46 Measure and integration (28-XX)
46 Dynamical systems and ergodic theory (37-XX)
40 Category theory; homological algebra (18-XX)
40 Topological groups, Lie groups (22-XX)
40 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
39 Geometry (51-XX)
24 Number theory (11-XX)
24 Real functions (26-XX)
24 Quantum theory (81-XX)
22 Field theory and polynomials (12-XX)
22 Probability theory and stochastic processes (60-XX)
20 Abstract harmonic analysis (43-XX)
18 General algebraic systems (08-XX)
15 Algebraic geometry (14-XX)
15 Associative rings and algebras (16-XX)
13 Manifolds and cell complexes (57-XX)
10 Algebraic topology (55-XX)
9 Sequences, series, summability (40-XX)
7 Commutative algebra (13-XX)
7 Operator theory (47-XX)
7 Systems theory; control (93-XX)
7 Information and communication theory, circuits (94-XX)
6 Convex and discrete geometry (52-XX)
5 Statistics (62-XX)
5 Relativity and gravitational theory (83-XX)
5 Mathematics education (97-XX)
4 Linear and multilinear algebra; matrix theory (15-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)
3 Operations research, mathematical programming (90-XX)
2 Potential theory (31-XX)
2 Ordinary differential equations (34-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)
1 Biology and other natural sciences (92-XX)

Citations by Year