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