The Bulletin of Symbolic Logic Short Title: Bull. Symb. Log. Publisher: Cambridge University Press, West Nyack, NY; Association for Symbolic Logic (ASL), Poughkeepsie, NY ISSN: 1079-8986; 1943-5894/e Online: https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/all-issueshttp://projecteuclid.org/all/euclid.bslhttp://www.jstor.org/journal/bullsymblogi Documents Indexed: 583 Publications (since 1995) References Indexed: 442 Publications with 17,294 References. all top 5 Latest Issues 28, No. 4 (2022) 28, No. 3 (2022) 28, No. 2 (2022) 28, No. 1 (2022) 27, No. 4 (2021) 27, No. 3 (2021) 27, No. 2 (2021) 27, No. 1 (2021) 26, No. 3-4 (2020) 26, No. 2 (2020) 26, No. 1 (2020) 25, No. 4 (2019) 25, No. 3 (2019) 25, No. 2 (2019) 25, No. 1 (2019) 24, No. 4 (2018) 24, No. 3 (2018) 24, No. 2 (2018) 24, No. 1 (2018) 23, No. 4 (2017) 23, No. 3 (2017) 23, No. 2 (2017) 23, No. 1 (2017) 22, No. 4 (2016) 22, No. 3 (2016) 22, No. 2 (2016) 22, No. 1 (2016) 21, No. 4 (2015) 21, No. 3 (2015) 21, No. 2 (2015) 21, No. 1 (2015) 20, No. 4 (2014) 20, No. 3 (2014) 20, No. 2 (2014) 20, No. 1 (2014) 19, No. 4 (2013) 19, No. 3 (2013) 19, No. 2 (2013) 19, No. 1 (2013) 18, No. 4 (2012) 18, No. 3 (2012) 18, No. 2 (2012) 18, No. 1 (2012) 17, No. 4 (2011) 17, No. 3 (2011) 17, No. 2 (2011) 17, No. 1 (2011) 16, No. 4 (2010) 16, No. 3 (2010) 16, No. 2 (2010) 16, No. 1 (2010) 15, No. 4 (2009) 15, No. 3 (2009) 15, No. 2 (2009) 15, No. 1 (2009) 14, No. 4 (2008) 14, No. 3 (2008) 14, No. 2 (2008) 14, No. 1 (2008) 13, No. 4 (2007) 13, No. 3 (2007) 13, No. 2 (2007) 13, No. 1 (2007) 12, No. 4 (2006) 12, No. 3 (2006) 12, No. 2 (2006) 12, No. 1 (2006) 11, No. 4 (2005) 11, No. 3 (2005) 11, No. 2 (2005) 11, No. 1 (2005) 10, No. 4 (2004) 10, No. 3 (2004) 10, No. 2 (2004) 10, No. 1 (2004) 9, No. 4 (2003) 9, No. 3 (2003) 9, No. 2 (2003) 9, No. 1 (2003) 8, No. 4 (2002) 8, No. 3 (2002) 8, No. 2 (2002) 8, No. 1 (2002) 7, No. 4 (2001) 7, No. 3 (2001) 7, No. 2 (2001) 7, No. 1 (2001) 6, No. 4 (2000) 6, No. 3 (2000) 6, No. 2 (2000) 6, No. 1 (2000) 5, No. 4 (1999) 5, No. 3 (1999) 5, No. 2 (1999) 5, No. 1 (1999) 4, No. 4 (1998) 4, No. 3 (1998) 4, No. 2 (1998) 4, No. 1 (1998) 3, No. 4 (1997) ...and 9 more Volumes all top 5 Authors 11 Kanamori, Akihiro 7 Kechris, Alexander S. 7 Nies, André Otfrid 7 von Plato, Jan 6 Shore, Richard Arnold 6 Urquhart, Alasdair 6 Väänänen, Jouko Antero 5 Downey, Rodney Graham 5 Friedman, Sy-David 5 Parsons, Charles D. 5 Pillay, Anand 4 Avigad, Jeremy 4 Brady, Ross Thomas 4 Feferman, Solomon 4 Greenberg, Noam 4 Kennedy, Juliette Cara 4 Maddy, Penelope J. 4 Sieg, Wilfried 4 Slaman, Theodore A. 4 Steel, John R. 4 van Dalen, Dirk 3 Artemov, Sergei 3 Awodey, Steve 3 Baldwin, John T. 3 Ben-Yaacov, Itaï 3 Bimbó, Katalin 3 Blass, Andreas Raphael 3 Bunder, Martin W. 3 Button, Tim 3 Došen, Kosta 3 Groszek, Marcia J. 3 Gurevich, Yuri 3 Harizanov, Valentina S. 3 Harrington, Leo A. 3 Hart, Bradd T. 3 Hirschfeldt, Denis Roman 3 Hjorth, Gregory 3 Hodkinson, Ian Martin 3 Knight, Julia F. 3 Kolaitis, Phokion G. 3 Krajíček, Jan 3 Laskowski, Michael Chris 3 Lempp, Steffen 3 Mancosu, Paolo 3 Marker, David E. 3 Miller, Joseph S. 3 Montalbán, Antonio 3 Moschovakis, Yiannis Nicholas 3 Neeman, Itay 3 Pohlers, Wolfram 3 Porter, Christopher P. 3 Sagi, Gil 3 Sargsyan, Grigor 3 Schuster, Peter Michael 3 Sher, Gila 3 Simpson, Stephen G. 3 Soare, Robert I. 3 Vardi, Moshe Ya’akov 3 Wainer, Stanley Scott 3 Zach, Richard 3 Zapletal, Jindřich 2 Arai, Toshiyasu 2 Arana, Andrew 2 Arrigoni, Tatiana 2 Bagaria, Joan 2 Beeson, Michael J. 2 Bell, John Lane 2 Bienvenu, Laurent 2 Carnielli, Walter Alexandre 2 Centrone, Stefania 2 Cheng, Yong 2 Cholak, Peter A. 2 Corcoran, John 2 Davis, Martin David 2 Deloro, Adrien 2 Dershowitz, Nachum 2 Dyckhoff, Roy 2 Džamonja, Mirna 2 Enderton, Herbert B. 2 Ferreirós, José 2 Freitag, James 2 Gherardi, Guido 2 Givant, Steven R. 2 Goldfarb, Warren D. 2 Griffiths, Owen 2 Haskell, Deirdre 2 Hasson, Assaf 2 Henkin, Leon Albert 2 Hintikka, Jaakko 2 Hirst, Jeffry Lynn 2 Hodges, Wilfrid 2 Jäger, Gerhard 2 Jaligot, Eric 2 Jech, Thomas J. 2 Jockusch, Carl G. jun. 2 Keisler, Howard Jerome 2 Khan, Mushfeq 2 Kim, Byunghan 2 Kjos-Hanssen, Bjørn 2 Koepke, Peter ...and 394 more Authors all top 5 Fields 536 Mathematical logic and foundations (03-XX) 151 General and overarching topics; collections (00-XX) 126 History and biography (01-XX) 41 Computer science (68-XX) 16 Combinatorics (05-XX) 14 Group theory and generalizations (20-XX) 12 Measure and integration (28-XX) 10 General topology (54-XX) 8 Number theory (11-XX) 8 Functional analysis (46-XX) 8 Geometry (51-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Category theory; homological algebra (18-XX) 6 Field theory and polynomials (12-XX) 5 Real functions (26-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 General algebraic systems (08-XX) 3 Algebraic geometry (14-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Commutative algebra (13-XX) 2 Abstract harmonic analysis (43-XX) 2 Convex and discrete geometry (52-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Topological groups, Lie groups (22-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 319 Publications have been cited 2,831 times in 2,386 Documents Cited by ▼ Year ▼ Explicit provability and constructive semantics. Zbl 0980.03059Artemov, Sergei N. 122 2001 Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048Pestov, Vladimir G. 77 2008 The logic of bunched implications. Zbl 0930.03095O’Hearn, Peter W.; Pym, David J. 74 1999 On the decision problem for two-variable first-order logic. Zbl 0873.03009Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 56 1997 Effective choice and boundedness principles in computable analysis. Zbl 1226.03062Brattka, Vasco; Gherardi, Guido 50 2011 The complexity of propositional proofs. Zbl 1133.03037Segerlind, Nathan 46 2007 Cut elimination in the presence of axioms. Zbl 0934.03072Negri, Sara; von Plato, Jan 45 1998 Calibrating randomness. Zbl 1113.03037Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. 43 2006 The complexity of propositional proofs. Zbl 0845.03025Urquhart, Alasdair 41 1995 Open questions in reverse mathematics. Zbl 1233.03023Montalbán, Antonio 41 2011 Randomness and computability: open questions. Zbl 1169.03033Miller, Joseph S.; Nies, André 40 2006 Tarski’s system of geometry. Zbl 0932.01031Tarski, Alfred; Givant, Steven 37 1999 Mass problems and randomness. Zbl 1090.03015Simpson, Stephen G. 35 2005 Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055Edalat, Abbas 35 1997 Analytic ideals. Zbl 0862.04002Solecki, Sławomir 33 1996 Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067Hamkins, Joel David 33 1999 Automata presenting structures: A survey of the finite string case. Zbl 1146.03028Rubin, Sasha 33 2008 Describing groups. Zbl 1167.20017Nies, André 31 2007 Computability and recursion. Zbl 0861.03031Soare, Robert I. 30 1996 Automatic continuity of group homomorphisms. Zbl 1173.03037Rosendal, Christian 30 2009 Square in core models. Zbl 0992.03062Schimmerling, Ernest; Zeman, Martin 29 2001 Second-order logic and foundations of mathematics. Zbl 1002.03013Väänänen, Jouko 26 2001 Computability theory and differential geometry. Zbl 1085.03033Soare, Robert I. 24 2004 Turing computations on ordinals. Zbl 1096.03053Koepke, Peter 22 2005 Mathematical fuzzy logics. Zbl 1144.03023Gottwald, Siegfried 22 2008 Algebraic logic, where does it stand today? Zbl 1111.03053Sayed Ahmed, Tarek 22 2005 Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092Rinot, Assaf 21 2014 Relative truth definability of axiomatic truth theories. Zbl 1209.03002Fujimoto, Kentaro 21 2010 The discovery of my completeness proofs. Zbl 0882.03001Henkin, Leon 20 1996 Optimal proofs of determinacy. Zbl 0835.03017Neeman, Itay 20 1995 New directions in descriptive set theory. Zbl 0933.03057Kechris, Alexander S. 20 1999 Foundations of online structure theory. Zbl 1477.03167Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander 20 2019 Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036Krajíček, Jan; Scanlon, Thomas 19 2000 Internal consistency and the inner model hypothesis. Zbl 1134.03029Friedman, Sy-David 19 2006 The hyperuniverse program. Zbl 1307.03003Arrigoni, Tatiana; Friedman, Sy-David 18 2013 Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003von Plato, Jan 18 2008 A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027Dershowitz, Nachum; Gurevich, Yuri 18 2008 New dichotomies for Borel equivalence relations. Zbl 0889.03038Hjorth, Greg; Kechris, Alexander S. 18 1997 Developments in constructive nonstandard analysis. Zbl 0920.03063Palmgren, Erik 17 1998 Hilbert’s programs: 1917-1922. Zbl 0924.03002Sieg, Wilfried 17 1999 Church’s problem revisited. Zbl 0932.03029Kupferman, Orna; Vardi, Moshe Y. 17 1999 The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065Ehrlich, Philip 17 2012 Machines, logic and quantum physics. Zbl 0998.68059Deutsch, David; Ekert, Artur; Lupacchini, Rossella 17 2000 Partition theorems and computability theory. Zbl 1097.03037Mileti, Joseph R. 16 2005 Logicality and invariance. Zbl 1146.03002Bonnay, Denis 16 2008 Does mathematics need new axioms? Zbl 0977.03002Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. 16 2000 Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035Rathjen, Michael 15 1995 In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134Woodin, W. Hugh 15 2017 Computable abelian groups. Zbl 1345.03065Melnikov, Alexander G. 15 2014 The constraint satisfaction problem and universal algebra. Zbl 1336.68113Barto, Libor 15 2015 Proper forcing and remarkable cardinals. Zbl 0960.03044Schindler, Ralf-Dieter 15 2000 Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059Gabbay, Murdoch J. 15 2011 On the equimorphism types of linear orderings. Zbl 1129.03024Montalbán, Antonio 15 2007 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 14 2017 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 14 1996 \(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022Steel, John R. 14 1995 Identity of proofs based on normalization and generality. Zbl 1058.03061Došen, Kosta 14 2003 Geometrisation of first-order logic. Zbl 1368.03013Dyckhoff, Roy; Negri, Sara 14 2015 Predicative fragments of Frege arithmetic. Zbl 1068.03051Linnebo, Øystein 14 2004 Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028Balcar, Bohuslav; Jech, Thomas 14 2006 A survey of Mučnik and Medvedev degrees. Zbl 1248.03063Hinman, Peter G. 13 2012 A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012Yanofsky, Noson S. 13 2003 Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040Keisler, H. Jerome 13 2006 The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030Kanamori, Akihiro 13 1997 Kleene’s amazing second recursion theorem. Zbl 1211.03061Moschovakis, Yiannis N. 13 2010 The graph-theoretic approach to descriptive set theory. Zbl 1361.03047Miller, Benjamin D. 13 2012 On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006Welch, P. D. 12 2001 Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037Clemens, John D.; Gao, Su; Kechris, Alexander S. 12 2001 The road to modern logic – an interpretation. Zbl 1005.03003Ferreirós, José 12 2001 Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050Mummert, Carl; Simpson, Stephen G. 12 2005 Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003Zach, Richard 12 1999 Games for truth. Zbl 1193.03011Welch, P. D. 12 2009 Forcing with bushy trees. Zbl 1421.03021Khan, Mushfeq; Miller, Joseph S. 11 2017 The impact of the lambda calculus in logic and computer science. Zbl 0887.03008Barendregt, Henk 11 1997 Hyperfinite law of large numbers. Zbl 0861.03051Sun, Yeneng 11 1996 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 Fixed point logics. Zbl 1002.03030Dawar, Anuj; Gurevich, Yuri 11 2002 Forcing in proof theory. Zbl 1064.03034Avigad, Jeremy 11 2004 Classification from a computable viewpoint. Zbl 1123.03024Calvert, Wesley; Knight, Julia F. 11 2006 Combinatorial dichotomies in set theory. Zbl 1230.03075Todorcevic, Stevo 11 2011 Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002von Plato, Jan 11 2012 Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012Patey, Ludovic 10 2016 Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031Hodkinson, Ian; Otto, Martin 10 2003 Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024Jaligot, Eric 10 2001 What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029McLarty, Colin 10 2010 Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika 10 2012 Schemata: the concept of schema in the history of logic. Zbl 1123.03001Corcoran, John 10 2006 Some aspects of model theory and finite structures. Zbl 1017.03015Rosen, Eric 10 2002 In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040Feferman, Solomon 10 2000 Set theory and \(C^*\)-algebras. Zbl 1127.46043Weaver, Nik 10 2007 Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001Sieg, Wilfried 9 1997 From stability to simplicity. Zbl 0897.03034Kim, Byunghan; Pillay, Anand 9 1998 The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001Kanamori, Akihiro 9 1996 Tautologies from pseudo-random generators. Zbl 0983.03046Krajíček, Jan 9 2001 Descriptive inner model theory. Zbl 1307.03030Sargsyan, Grigor 9 2013 Full development of Tarski’s geometry of solids. Zbl 1156.03011Gruszczyński, Rafał; Pietruszczak, Andrzej 9 2008 Transfinite progressions: A second look at completeness. Zbl 1078.03047Franzén, Torkel 9 2004 Second order logic or set theory? Zbl 1252.03024Väänänen, Jouko 9 2012 Arguments for the continuity principle. Zbl 1036.03047van Atten, Mark; van Dalen, Dirk 9 2002 Platonism and mathematical intuition in Kurt Gödel’s thought. Zbl 0840.00006Parsons, Charles 8 1995 Strong colorings over partitions. Zbl 1496.03179Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris 3 2021 Disjunctions with stopping conditions. Zbl 07455123Kossak, Roman; Wcisło, Bartosz 1 2021 Sealing of the universally Baire sets. Zbl 07455124Sargsyan, Grigor; Trang, Nam 1 2021 The sense/reference distinction in constructive semantics. Zbl 07482184Martin-Löf, Per 1 2021 Gödel diffeomorphisms. Zbl 1486.03075Foreman, Matthew 2 2020 Finding the limit of incompleteness. I. Zbl 1464.03089Cheng, Yong 2 2020 Domination and regularity. Zbl 07330990Pillay, Anand 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 1477.03167Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander 20 2019 A conjectural classification of strongly dependent fields. Zbl 1477.03134Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska 3 2019 Model theory and machine learning. Zbl 07123753Chase, Hunter; Freitag, James 3 2019 Large cardinals beyond choice. Zbl 1475.03098Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh 2 2019 An extension of a theorem of Zermelo. Zbl 1477.03226Väänänen, Jouko 1 2019 Realizing realizability results with classical constructions. Zbl 07167381Karagila, Asaf 1 2019 A hierarchy of computably enumerable degrees. Zbl 06866160Downey, Rod; Greenberg, Noam 6 2018 Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023Pistone, Paolo 3 2018 Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 06966009Sandqvist, Tor 1 2018 Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. Zbl 1403.03006von Plato, Jan 1 2018 Strong jump-traceability. Zbl 06916705Greenberg, Noam; Turetsky, Dan 1 2018 Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024Rizza, 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.03134Woodin, W. Hugh 15 2017 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 14 2017 Forcing with bushy trees. Zbl 1421.03021Khan, Mushfeq; Miller, Joseph S. 11 2017 Incompleteness in the finite domain. Zbl 1423.03245Pudlák, Pavel 8 2017 Some definable Galois theory and examples. Zbl 1419.03032León Sánchez, Omar; Pillay, Anand 7 2017 A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017Beringer, Timo; Schindler, Thomas 7 2017 Products of Hurewicz spaces in the Laver model. Zbl 1421.03024Repovš, Dušan; Zdomskyy, Lyubomyr 6 2017 Metavaluations. Zbl 1421.03011Brady, Ross T. 3 2017 Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027Damnjanovic, Zlatan 1 2017 Intuitionistic analysis at the end of time. Zbl 1436.03312Moschovakis, Joan Rand 1 2017 Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012Patey, Ludovic 10 2016 Constructive geometry and the parallel postulate. Zbl 1403.03130Beeson, Michael 7 2016 Linear time in hypersequent framework. Zbl 1403.03114Indrzejczak, Andrzej 7 2016 Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079Miyabe, Kenshi; Nies, André; Zhang, Jing 7 2016 Maximal computability structures. Zbl 1403.03072Iljazović, Zvonko; Validžić, Lucija 5 2016 Deep \(\Pi_1^0\) classes. Zbl 1401.03077Bienvenu, Laurent; Porter, Christopher P. 4 2016 Gödel’s Notre Dame course. Zbl 1380.03003Adžić, Miloš; Došen, Kosta 3 2016 Russell and Gödel. Zbl 1380.03007Urquhart, Alasdair 3 2016 Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012Caramello, Olivia; Russo, Anna Carla 2 2016 Early Bolzano on ground-consequence proofs. Zbl 1384.03005Centrone, Stefania 2 2016 Computability and the Connes embedding problem. Zbl 1404.03037Goldbring, Isaac; Hart, Bradd 2 2016 Relativizing operational set theory. Zbl 1432.03127Jäger, Gerhard 2 2016 Book review of: Barry Cooper S. (ed.) and Hodges Andrew (ed.), The once and future Turing. Computing the world. Zbl 1362.00022Urquhart, Alasdair 1 2016 2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054 1 2016 Isomorphism invariance and overgeneration. Zbl 1384.03032Griffiths, Owen; Paseau, A. C. 1 2016 The constraint satisfaction problem and universal algebra. Zbl 1336.68113Barto, Libor 15 2015 Geometrisation of first-order logic. Zbl 1368.03013Dyckhoff, Roy; Negri, Sara 14 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 Saturated free algebras revisited. Zbl 1372.03066Pillay, Anand; Sklinos, Rizos 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 21 2014 Computable abelian groups. Zbl 1345.03065Melnikov, Alexander G. 15 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ï 8 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 18 2013 Descriptive inner model theory. Zbl 1307.03030Sargsyan, Grigor 9 2013 Logic in the 1930s: type theory and model theory. Zbl 1326.03006Schiemer, Georg; Reck, Erich H. 6 2013 Interpretability in Robinson’s Q. Zbl 1325.03072Ferreira, Fernando; Ferreira, Gilda 6 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 3 2013 Analytic equivalence relations and the forcing method. Zbl 1326.03061Zapletal, Jindřich 1 2013 Non-standard lattices and o-minimal groups. Zbl 1301.03036Eleftheriou, Pantelis E. 1 2013 The foundational problem of logic. Zbl 1405.03016Sher, Gila 1 2013 Shift-complex sequences. Zbl 1285.03057Khan, Mushfeq 1 2013 The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065Ehrlich, Philip 17 2012 A survey of Mučnik and Medvedev degrees. Zbl 1248.03063Hinman, Peter G. 13 2012 The graph-theoretic approach to descriptive set theory. Zbl 1361.03047Miller, Benjamin D. 13 2012 Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002von Plato, Jan 11 2012 Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika 10 2012 Second order logic or set theory? Zbl 1252.03024Väänänen, Jouko 9 2012 In praise of replacement. Zbl 1258.03001Kanamori, Akihiro 4 2012 Vaught’s theorem on axiomatizability by a scheme. Zbl 1272.03063Visser, Albert 3 2012 On Tarski’s foundations of the geometry of solids. Zbl 1246.03024Betti, Arianna; Loeb, Iris 2 2012 The stable core. Zbl 1258.03071Friedman, Sy-David 2 2012 Effective choice and boundedness principles in computable analysis. Zbl 1226.03062Brattka, Vasco; Gherardi, Guido 50 2011 Open questions in reverse mathematics. Zbl 1233.03023Montalbán, Antonio 41 2011 Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059Gabbay, Murdoch J. 15 2011 Combinatorial dichotomies in set theory. Zbl 1230.03075Todorcevic, Stevo 11 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 4 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 21 2010 Kleene’s amazing second recursion theorem. Zbl 1211.03061Moschovakis, Yiannis N. 13 2010 What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029McLarty, Colin 10 2010 Reverse mathematics: the playground of logic. Zbl 1218.03006Shore, Richard A. 8 2010 ...and 219 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,094 Authors 30 Apter, Arthur W. 29 Downey, Rodney Graham 25 Friedman, Sy-David 25 Stephan, Frank 21 Greenberg, Noam 21 Melnikov, Alexander G. 21 Nies, André Otfrid 20 Sanders, Sam 19 Ng, KengMeng 19 Sayed Ahmed, Tarek 18 Patey, Ludovic 17 Pauly, Arno M. 16 Schindler, Ralf-Dieter 15 Brattka, Vasco 15 Sargsyan, Grigor 14 Jain, Sanjay 14 Montalbán, Antonio 14 Rinot, Assaf 13 Artemov, Sergei 12 Barmpalias, George 12 Beyersdorff, Olaf 12 Farah, Ilijas 12 Hirschfeldt, Denis Roman 12 Miller, Joseph S. 12 Pym, David J. 12 Shore, Richard Arnold 11 Bazhenov, Nikolaĭ Alekseevich 11 Hamkins, Joel David 11 Kuznets, Roman 11 Negri, Sara 11 Schlicht, Philipp 11 von Plato, Jan 11 Wessel, Daniel 10 Andréka, Hajnal 10 Carl, Merlin 10 Manzano, María 10 Studer, Thomas 10 Welch, Philip D. 9 Feferman, Solomon 9 Fitting, Melvin Chris 9 Harrison-Trainor, Matthew 9 Hölzl, Rupert 9 Kalimullin, Iskander Shagitovich 9 Lewis, Andrew E. M. 9 Pillay, Anand 9 Schuster, Peter Michael 9 Sieg, Wilfried 9 Subramani, Krishnan 9 Tucker, John V. 9 Vychodil, Vilém 9 Weiermann, Andreas 9 Yu, Liang 8 Došen, Kosta 8 Givant, Steven R. 8 Kanovei, Vladimir G. 8 Katz, Mikhail G. 8 Kechris, Alexander S. 8 Kihara, Takayuki 8 Koepke, Peter 8 Kuske, Dietrich 8 Lücke, Philipp Moritz 8 Neeman, Itay 8 Németi, István 8 Pambuccian, Victor V. 8 Rathjen, Michael 8 Terwijn, Sebastiaan A. 8 Väänänen, Jouko Antero 8 Visser, Albert 7 Cenzer, Douglas 7 Fokina, Ekaterina B. 7 Gherardi, Guido 7 Hayut, Yair 7 Hjorth, Gregory 7 Hrušák, Michael 7 Khoussainov, Bakhadyr M. 7 Kwela, Adam 7 Marcone, Alberto 7 Monin, Benoît 7 Narboux, Julien 7 Shafer, Paul 7 Shelah, Saharon 7 Simpson, Stephen G. 7 Standefer, Shawn 6 Barton, Neil 6 Beeson, Michael J. 6 Bělohlávek, Radim 6 Bowen, Lewis Phylip 6 Buss, Samuel R. 6 Cholak, Peter A. 6 Corcoran, John 6 Deloro, Adrien 6 Demri, Stéphane P. 6 Dershowitz, Nachum 6 Dzhafarov, Damir D. 6 Finkel, Olivier 6 Iljazović, Zvonko 6 Jaligot, Eric 6 Jockusch, Carl G. jun. 6 Kjos-Hanssen, Bjørn 6 Krajíček, Jan ...and 1,994 more Authors all top 5 Cited in 249 Journals 211 Annals of Pure and Applied Logic 177 The Journal of Symbolic Logic 88 Archive for Mathematical Logic 84 Theoretical Computer Science 84 The Bulletin of Symbolic Logic 73 The Review of Symbolic Logic 67 Synthese 61 Studia Logica 47 Journal of Philosophical Logic 44 Transactions of the American Mathematical Society 42 Notre Dame Journal of Formal Logic 41 Proceedings of the American Mathematical Society 41 Journal of Mathematical Logic 37 Information and Computation 37 Mathematical Logic Quarterly (MLQ) 32 Advances in Mathematics 31 History and Philosophy of Logic 29 Israel Journal of Mathematics 29 Topology and its Applications 27 Logical Methods in Computer Science 24 Journal of Algebra 24 Theory of Computing Systems 21 Journal of Computer and System Sciences 21 MSCS. Mathematical Structures in Computer Science 19 Logica Universalis 18 Journal of Applied Non-Classical Logics 15 Journal of Automated Reasoning 15 Indagationes Mathematicae. New Series 14 Fundamenta Mathematicae 14 Computability 12 Algebra Universalis 12 Erkenntnis 12 ACM Transactions on Computational Logic 12 Journal of Applied Logic 11 Journal of Functional Analysis 11 Annals of Mathematics and Artificial Intelligence 10 Logic and Logical Philosophy 9 Information Processing Letters 9 Journal of Mathematical Analysis and Applications 9 Historia Mathematica 9 Journal of Logical and Algebraic Methods in Programming 8 Communications in Algebra 8 Fuzzy Sets and Systems 8 Information Sciences 8 Ergodic Theory and Dynamical Systems 8 Journal of the American Mathematical Society 8 Journal of Logic, Language and Information 8 Foundations of Science 7 Artificial Intelligence 7 Algebra and Logic 6 Discrete Applied Mathematics 6 International Journal of Theoretical Physics 6 Applied Mathematics and Computation 6 Memoirs of the American Mathematical Society 6 Forum of Mathematics, Sigma 5 Discrete Mathematics 5 Journal of Pure and Applied Algebra 5 SIAM Journal on Computing 5 Acta Mathematica Hungarica 5 Journal of Symbolic Computation 5 Journal of Complexity 5 Formal Aspects of Computing 5 International Journal of Algebra and Computation 5 Journal of Mathematical Sciences (New York) 5 Journal of the Institute of Mathematics of Jussieu 4 The Mathematical Intelligencer 4 Illinois Journal of Mathematics 4 Monatshefte für Mathematik 4 Siberian Mathematical Journal 4 Bulletin of the Section of Logic 4 International Journal of Foundations of Computer Science 4 Expositiones Mathematicae 4 Journal of the ACM 4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 4 Annals of Mathematics. Second Series 4 RAIRO. Theoretical Informatics and Applications 4 Foundations of Physics 4 Oberwolfach Reports 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Groups, Geometry, and Dynamics 4 RAIRO. Theoretical Informatics and Applications 4 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 3 Acta Informatica 3 International Journal of General Systems 3 Journal d’Analyse Mathématique 3 Mathematical Notes 3 Mathematische Semesterberichte 3 Inventiones Mathematicae 3 Journal of Economic Theory 3 Journal of Geometry 3 Mathematica Slovaca 3 Combinatorica 3 Order 3 International Journal of Approximate Reasoning 3 Bulletin of the Polish Academy of Sciences, Mathematics 3 Selecta Mathematica. New Series 3 Topoi 3 Journal of Group Theory 3 Lobachevskii Journal of Mathematics 3 Proceedings of the Steklov Institute of Mathematics ...and 149 more Journals all top 5 Cited in 51 Fields 1,968 Mathematical logic and foundations (03-XX) 524 Computer science (68-XX) 157 History and biography (01-XX) 143 Group theory and generalizations (20-XX) 107 General and overarching topics; collections (00-XX) 90 Combinatorics (05-XX) 85 General topology (54-XX) 80 Order, lattices, ordered algebraic structures (06-XX) 60 Functional analysis (46-XX) 52 Measure and integration (28-XX) 51 Dynamical systems and ergodic theory (37-XX) 48 Topological groups, Lie groups (22-XX) 47 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 45 Geometry (51-XX) 42 Category theory; homological algebra (18-XX) 28 Number theory (11-XX) 28 Field theory and polynomials (12-XX) 27 Real functions (26-XX) 26 General algebraic systems (08-XX) 26 Quantum theory (81-XX) 22 Abstract harmonic analysis (43-XX) 22 Probability theory and stochastic processes (60-XX) 16 Commutative algebra (13-XX) 16 Algebraic geometry (14-XX) 16 Associative rings and algebras (16-XX) 15 Manifolds and cell complexes (57-XX) 10 Algebraic topology (55-XX) 9 Sequences, series, summability (40-XX) 8 Information and communication theory, circuits (94-XX) 7 Operator theory (47-XX) 7 Convex and discrete geometry (52-XX) 7 Systems theory; control (93-XX) 6 Relativity and gravitational theory (83-XX) 6 Mathematics education (97-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Statistics (62-XX) 5 Operations research, mathematical programming (90-XX) 4 Differential geometry (53-XX) 4 Mechanics of particles and systems (70-XX) 3 Nonassociative rings and algebras (17-XX) 3 Partial differential equations (35-XX) 3 Difference and functional equations (39-XX) 3 Numerical analysis (65-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Potential theory (31-XX) 2 Ordinary differential equations (34-XX) 2 Biology and other natural sciences (92-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Global analysis, analysis on manifolds (58-XX) Citations by Year