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 Comments: Journal Documents Indexed: 626 Publications (since 1995) References Indexed: 469 Publications with 18,418 References. all top 5 Latest Issues 30, No. 3 (2024) 30, No. 2 (2024) 30, No. 1 (2024) 29, No. 4 (2023) 29, No. 3 (2023) 29, No. 2 (2023) 29, No. 1 (2023) 28, No. 4 (2022) 28, No. 3 (2022) 28, No. 2 (2022) 28, No. 1 (2022) 27, No. 4 (2021) 27, No. 3 (2021) 27, No. 2 (2021) 27, No. 1 (2021) 26, No. 3-4 (2020) 26, No. 2 (2020) 26, No. 1 (2020) 25, No. 4 (2019) 25, No. 3 (2019) 25, No. 2 (2019) 25, No. 1 (2019) 24, No. 4 (2018) 24, No. 3 (2018) 24, No. 2 (2018) 24, No. 1 (2018) 23, No. 4 (2017) 23, No. 3 (2017) 23, No. 2 (2017) 23, No. 1 (2017) 22, No. 4 (2016) 22, No. 3 (2016) 22, No. 2 (2016) 22, No. 1 (2016) 21, No. 4 (2015) 21, No. 3 (2015) 21, No. 2 (2015) 21, No. 1 (2015) 20, No. 4 (2014) 20, No. 3 (2014) 20, No. 2 (2014) 20, No. 1 (2014) 19, No. 4 (2013) 19, No. 3 (2013) 19, No. 2 (2013) 19, No. 1 (2013) 18, No. 4 (2012) 18, No. 3 (2012) 18, No. 2 (2012) 18, No. 1 (2012) 17, No. 4 (2011) 17, No. 3 (2011) 17, No. 2 (2011) 17, No. 1 (2011) 16, No. 4 (2010) 16, No. 3 (2010) 16, No. 2 (2010) 16, No. 1 (2010) 15, No. 4 (2009) 15, No. 3 (2009) 15, No. 2 (2009) 15, No. 1 (2009) 14, No. 4 (2008) 14, No. 3 (2008) 14, No. 2 (2008) 14, No. 1 (2008) 13, No. 4 (2007) 13, No. 3 (2007) 13, No. 2 (2007) 13, No. 1 (2007) 12, No. 4 (2006) 12, No. 3 (2006) 12, No. 2 (2006) 12, No. 1 (2006) 11, No. 4 (2005) 11, No. 3 (2005) 11, No. 2 (2005) 11, No. 1 (2005) 10, No. 4 (2004) 10, No. 3 (2004) 10, No. 2 (2004) 10, No. 1 (2004) 9, No. 4 (2003) 9, No. 3 (2003) 9, No. 2 (2003) 9, No. 1 (2003) 8, No. 4 (2002) 8, No. 3 (2002) 8, No. 2 (2002) 8, No. 1 (2002) 7, No. 4 (2001) 7, No. 3 (2001) 7, No. 2 (2001) 7, No. 1 (2001) 6, No. 4 (2000) 6, No. 3 (2000) 6, No. 2 (2000) 6, No. 1 (2000) 5, No. 4 (1999) 5, No. 3 (1999) ...and 16 more Volumes all top 5 Authors 11 Kanamori, Akihiro 7 Kechris, Alexander S. 7 Nies, André Otfrid 7 von Plato, Jan 6 Downey, Rodney Graham 6 Shore, Richard Arnold 6 Urquhart, Alasdair 6 Väänänen, Jouko Antero 5 Artemov, Sergei 5 Friedman, Sy-David 5 Greenberg, Noam 5 Parsons, Charles D. 5 Pillay, Anand 4 Avigad, Jeremy 4 Brady, Ross Thomas 4 Feferman, Solomon 4 Hart, Bradd T. 4 Kennedy, Juliette Cara 4 Krajíček, Jan 4 Maddy, Penelope J. 4 Mancosu, Paolo 4 Sieg, Wilfried 4 Slaman, Theodore A. 4 Steel, John R. 4 van Dalen, Dirk 3 Awodey, Steve 3 Bagaria, Joan 3 Baldwin, John T. 3 Ben-Yaacov, Itaï 3 Bimbó, Katalin 3 Blass, Andreas Raphael 3 Bunder, Martin W. 3 Button, Tim 3 Došen, Kosta 3 Groszek, Marcia J. 3 Gurevich, Yuri 3 Harizanov, Valentina S. 3 Harrington, Leo A. 3 Harrison-Trainor, Matthew 3 Hirschfeldt, Denis Roman 3 Hjorth, Gregory 3 Hodkinson, Ian Martin 3 Knight, Julia F. 3 Kolaitis, Phokion G. 3 Laskowski, Michael Chris 3 Lempp, Steffen 3 Marker, David E. 3 Melnikov, Alexander G. 3 Miller, Joseph S. 3 Montalbán, Antonio 3 Moschovakis, Yiannis Nicholas 3 Neeman, Itay 3 Pohlers, Wolfram 3 Porter, Christopher P. 3 Sagi, Gil 3 Sargsyan, Grigor 3 Schuster, Peter Michael 3 Shapiro, Stewart 3 Sher, Gila 3 Simpson, Stephen G. 3 Soare, Robert I. 3 Turetsky, Dan 3 Vardi, Moshe Ya’akov 3 Wainer, Stanley Scott 3 Weiermann, Andreas 3 Zach, Richard 3 Zapletal, Jindřich 2 Arai, Toshiyasu 2 Arana, Andrew 2 Arrigoni, Tatiana 2 Avron, Arnon 2 Beeson, Michael J. 2 Bell, John Lane 2 Bienvenu, Laurent 2 Buss, Samuel R. 2 Carnielli, Walter Alexandre 2 Centrone, Stefania 2 Cheng, Yong 2 Cholak, Peter A. 2 Corcoran, John 2 Damnjanovic, Zlatan 2 D’Aquino, Paola 2 Davis, Martin David 2 Day, Adam R. 2 Deloro, Adrien 2 Dershowitz, Nachum 2 Di Prisco, Carlos Augusto 2 Dyckhoff, Roy 2 Džamonja, Mirna 2 Dzhafarov, Damir D. 2 Enderton, Herbert B. 2 Ferreirós, José 2 Gherardi, Guido 2 Givant, Steven R. 2 Goldbring, Isaac 2 Goldfarb, Warren D. 2 Griffiths, Owen 2 Halevi, Yatir 2 Haskell, Deirdre 2 Hasson, Assaf ...and 444 more Authors all top 5 Fields 576 Mathematical logic and foundations (03-XX) 174 General and overarching topics; collections (00-XX) 128 History and biography (01-XX) 44 Computer science (68-XX) 18 Combinatorics (05-XX) 14 Group theory and generalizations (20-XX) 12 Measure and integration (28-XX) 10 General topology (54-XX) 9 Number theory (11-XX) 8 Functional analysis (46-XX) 8 Geometry (51-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Field theory and polynomials (12-XX) 7 Category theory; homological algebra (18-XX) 6 Real functions (26-XX) 5 General algebraic systems (08-XX) 5 Dynamical systems and ergodic theory (37-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 363 Publications have been cited 3,706 times in 3,099 Documents Cited by ▼ Year ▼ Explicit provability and constructive semantics. Zbl 0980.03059 Artemov, Sergei N. 152 2001 The logic of bunched implications. Zbl 0930.03095 O’Hearn, Peter W.; Pym, David J. 127 1999 Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048 Pestov, Vladimir G. 96 2008 On the decision problem for two-variable first-order logic. Zbl 0873.03009 Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 80 1997 Cut elimination in the presence of axioms. Zbl 0934.03072 Negri, Sara; von Plato, Jan 59 1998 Effective choice and boundedness principles in computable analysis. Zbl 1226.03062 Brattka, Vasco; Gherardi, Guido 55 2011 The complexity of propositional proofs. Zbl 0845.03025 Urquhart, Alasdair 54 1995 Open questions in reverse mathematics. Zbl 1233.03023 Montalbán, Antonio 54 2011 The complexity of propositional proofs. Zbl 1133.03037 Segerlind, Nathan 51 2007 Calibrating randomness. Zbl 1113.03037 Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. 46 2006 Automatic continuity of group homomorphisms. Zbl 1173.03037 Rosendal, Christian 45 2009 Tarski’s system of geometry. Zbl 0932.01031 Tarski, Alfred; Givant, Steven 44 1999 Randomness and computability: open questions. Zbl 1169.03033 Miller, Joseph S.; Nies, André 43 2006 Automata presenting structures: A survey of the finite string case. Zbl 1146.03028 Rubin, Sasha 40 2008 Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055 Edalat, Abbas 40 1997 Mass problems and randomness. Zbl 1090.03015 Simpson, Stephen G. 38 2005 Describing groups. Zbl 1167.20017 Nies, André 38 2007 Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067 Hamkins, Joel David 37 1999 Computability and recursion. Zbl 0861.03031 Soare, Robert I. 35 1996 Analytic ideals. Zbl 0862.04002 Solecki, Sławomir 34 1996 Square in core models. Zbl 0992.03062 Schimmerling, Ernest; Zeman, Martin 33 2001 Foundations of online structure theory. Zbl 1477.03167 Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander 33 2019 Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092 Rinot, Assaf 32 2014 Turing computations on ordinals. Zbl 1096.03053 Koepke, Peter 31 2005 In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh 28 2017 Second-order logic and foundations of mathematics. Zbl 1002.03013 Väänänen, Jouko 27 2001 Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003 von Plato, Jan 26 2008 The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor 25 2015 Computability theory and differential geometry. Zbl 1085.03033 Soare, Robert I. 25 2004 The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065 Ehrlich, Philip 24 2012 Does mathematics need new axioms? Zbl 0977.03002 Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. 24 2000 Relative truth definability of axiomatic truth theories. Zbl 1209.03002 Fujimoto, Kentaro 23 2010 Optimal proofs of determinacy. Zbl 0835.03017 Neeman, Itay 23 1995 Hilbert’s programs: 1917-1922. Zbl 0924.03002 Sieg, Wilfried 23 1999 The discovery of my completeness proofs. Zbl 0882.03001 Henkin, Leon 23 1996 A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027 Dershowitz, Nachum; Gurevich, Yuri 23 2008 Algebraic logic, where does it stand today? Zbl 1111.03053 Sayed Ahmed, Tarek 23 2005 Logicality and invariance. Zbl 1146.03002 Bonnay, Denis 22 2008 Mathematical fuzzy logics. Zbl 1144.03023 Gottwald, Siegfried 22 2008 The hyperuniverse program. Zbl 1307.03003 Arrigoni, Tatiana; Friedman, Sy-David 22 2013 Identity of proofs based on normalization and generality. Zbl 1058.03061 Došen, Kosta 22 2003 New dichotomies for Borel equivalence relations. Zbl 0889.03038 Hjorth, Greg; Kechris, Alexander S. 21 1997 Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara 21 2015 Machines, logic and quantum physics. Zbl 0998.68059 Deutsch, David; Ekert, Artur; Lupacchini, Rossella 21 2000 Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036 Krajíček, Jan; Scanlon, Thomas 21 2000 New directions in descriptive set theory. Zbl 0933.03057 Kechris, Alexander S. 21 1999 Church’s problem revisited. Zbl 0932.03029 Kupferman, Orna; Vardi, Moshe Y. 21 1999 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 21 2017 Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G. 20 2014 \(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022 Steel, John R. 19 1995 Developments in constructive nonstandard analysis. Zbl 0920.03063 Palmgren, Erik 19 1998 Internal consistency and the inner model hypothesis. Zbl 1134.03029 Friedman, Sy-David 19 2006 Proper forcing and remarkable cardinals. Zbl 0960.03044 Schindler, Ralf-Dieter 18 2000 Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031 Hodkinson, Ian; Otto, Martin 18 2003 Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050 Mummert, Carl; Simpson, Stephen G. 18 2005 Kleene’s amazing second recursion theorem. Zbl 1211.03061 Moschovakis, Yiannis N. 17 2010 Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004 Schroeder-Heister, Peter 17 2002 Combinatorial dichotomies in set theory. Zbl 1230.03075 Todorcevic, Stevo 17 2011 Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035 Rathjen, Michael 16 1995 Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059 Gabbay, Murdoch J. 16 2011 A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012 Yanofsky, Noson S. 16 2003 Classification from a computable viewpoint. Zbl 1123.03024 Calvert, Wesley; Knight, Julia F. 16 2006 Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002 von Plato, Jan 16 2012 Predicative fragments of Frege arithmetic. Zbl 1068.03051 Linnebo, Øystein 15 2004 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019 Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 15 1996 Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï 15 2014 Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003 Zach, Richard 15 1999 On the equimorphism types of linear orderings. Zbl 1129.03024 Montalbán, Antonio 15 2007 Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028 Balcar, Bohuslav; Jech, Thomas 15 2006 Forcing in proof theory. Zbl 1064.03034 Avigad, Jeremy 14 2004 The impact of the lambda calculus in logic and computer science. Zbl 0887.03008 Barendregt, Henk 14 1997 The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030 Kanamori, Akihiro 14 1997 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 14 2014 The graph-theoretic approach to descriptive set theory. Zbl 1361.03047 Miller, Benjamin D. 14 2012 Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001 Sieg, Wilfried 13 1997 A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas 13 2017 Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024 Jaligot, Eric 13 2001 Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037 Clemens, John D.; Gao, Su; Kechris, Alexander S. 13 2001 Partition theorems and computability theory. Zbl 1097.03037 Mileti, Joseph R. 13 2005 Some aspects of model theory and finite structures. Zbl 1017.03015 Rosen, Eric 13 2002 Schemata: the concept of schema in the history of logic. Zbl 1123.03001 Corcoran, John 13 2006 Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040 Keisler, H. Jerome 13 2006 The road to modern logic – an interpretation. Zbl 1005.03003 Ferreirós, José 13 2001 A survey of Mučnik and Medvedev degrees. Zbl 1248.03063 Hinman, Peter G. 13 2012 Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105 van Oosten, Jaap 12 2014 Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014 Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika 12 2012 Second order logic or set theory? Zbl 1252.03024 Väänänen, Jouko 12 2012 Relations between some cardinals in the absence of the axiom of choice. Zbl 1001.03041 Halbeisen, Lorenz; Shelah, Saharon 12 2001 Descriptive inner model theory. Zbl 1307.03030 Sargsyan, Grigor 12 2013 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008 Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 12 2005 Arguments for the continuity principle. Zbl 1036.03047 van Atten, Mark; van Dalen, Dirk 12 2002 Games for truth. Zbl 1193.03011 Welch, P. D. 12 2009 Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S. 12 2017 Fixed point logics. Zbl 1002.03030 Dawar, Anuj; Gurevich, Yuri 12 2002 What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029 McLarty, Colin 11 2010 Well (and better) quasi-ordered transition systems. Zbl 1207.68219 Abdulla, Parosh Aziz 11 2010 The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001 Kanamori, Akihiro 11 1996 Inner models and large cardinals. Zbl 0843.03029 Jensen, Ronald 11 1995 Transfinite progressions: A second look at completeness. Zbl 1078.03047 Franzén, Torkel 11 2004 Tautologies from pseudo-random generators. Zbl 0983.03046 Krajíček, Jan 11 2001 A walk with Goodstein. Zbl 07828956 Fernández-Duque, David; Weiermann, Andreas 2 2024 Computably compact metric spaces. Zbl 07725101 Downey, Rodney G.; Melnikov, Alexander G. 7 2023 Saturated models for the working model theorist. Zbl 07725100 Halevi, Yatir; Kaplan, Itay 4 2023 Large cardinals as principles of structural reflection. Zbl 07665537 Bagaria, Joan 3 2023 Extended frames and separations of logical principles. Zbl 07749829 Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita 2 2023 Menas’s conjecture revisited. Zbl 07749830 Matet, Pierre 2 2023 Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077 Hrbacek, Karel; Katz, Mikhail G. 2 2023 Tree theory: interpretability between weak first-order theories of trees. Zbl 07808883 Damnjanovic, Zlatan 1 2023 Interleaving logic and counting. Zbl 07808884 van Benthem, Johan; Icard, Thomas 1 2023 The axiom of choice is false intuitionistically (in most contexts). Zbl 07665538 McCarty, Charles; Shapiro, Stewart; Klev, Ansten 1 2023 Affine logic for constructive mathematics. Zbl 07606771 Shulman, Michael 5 2022 The Jacobson radical of a propositional theory. Zbl 07550752 Fellin, Giulio; Schuster, Peter; Wessel, Daniel 4 2022 Constructing Wadge classes. Zbl 1504.03026 Carroy, Raphaël; Medini, Andrea; Müller, Sandra 3 2022 An introduction to the Scott complexity of countable structures and a survey of recent results. Zbl 1501.03002 Harrison-Trainor, Matthew 1 2022 The collapse of the Hilbert program: a variation on the Gödelian theme. Zbl 1508.03004 Kripke, Saul A. 1 2022 Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. Zbl 1505.03025 Barnes, James S.; Goh, Jun Le; Shore, Richard A. 1 2022 Strong colorings over partitions. Zbl 1496.03179 Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris 6 2021 The sense/reference distinction in constructive semantics. Zbl 1529.03066 Martin-Löf, Per 6 2021 Sealing of the universally Baire sets. Zbl 1539.03162 Sargsyan, Grigor; Trang, Nam 6 2021 Disjunctions with stopping conditions. Zbl 1539.03204 Kossak, Roman; Wcisło, Bartosz 5 2021 Sense and reference from a constructivist standpoint. Zbl 1529.03031 Dummett, Michael 3 2021 Goodstein sequences based on a parametrized Ackermann-Péter function. Zbl 1537.03085 Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas 2 2021 Logicality and model classes. Zbl 1529.03193 Kennedy, Juliette; Väänänen, Jouko 2 2021 Kurt Gödel on logical, theological, and physical antinomies. Zbl 1482.03001 Lethen, Tim 2 2021 Reduction techniques for proving decidability in logics and their meet-combination. Zbl 1535.03057 Rasga, João; Sernadas, Cristina; Carnielli, Walter 1 2021 Current research on Gödel’s incompleteness theorems. Zbl 1497.03067 Cheng, Yong 1 2021 Projective duality and the rise of modern logic. Zbl 1500.03001 Eder, Günther 1 2021 Notes on the stable regularity lemma. Zbl 1529.03202 Malliaris, M.; Shelah, S. 1 2021 Domination and regularity. Zbl 07330990 Pillay, Anand 4 2020 Finding the limit of incompleteness. I. Zbl 1464.03089 Cheng, Yong 3 2020 A reconstruction of Steel’s multiverse project. Zbl 1477.03012 Maddy, Penelope; Meadows, Toby 2 2020 Gödel diffeomorphisms. Zbl 1486.03075 Foreman, Matthew 2 2020 Weyl reexamined: “Das Kontinuum” 100 years later. Zbl 1458.03006 Avron, Arnon 1 2020 On the diagonal lemma of Gödel and Carnap. Zbl 1459.03089 Salehi, Saeed 1 2020 An exposition of the compactness of \(L(Q^{\text{cf}})\). Zbl 1477.03156 Casanovas, Enrique; Ziegler, Martin 1 2020 Computability in partial combinatory algebras. Zbl 1465.03078 Terwijn, Sebastiaan A. 1 2020 Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. Zbl 1462.03025 Ferreira, Fernando 1 2020 Foundations of online structure theory. Zbl 1477.03167 Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander 33 2019 A conjectural classification of strongly dependent fields. Zbl 1477.03134 Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska 10 2019 Large cardinals beyond choice. Zbl 1475.03098 Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh 9 2019 Model theory and machine learning. Zbl 1506.03095 Chase, Hunter; Freitag, James 8 2019 Eta-rules in Martin-Löf type theory. Zbl 1486.03028 Klev, Ansten 5 2019 Realizing realizability results with classical constructions. Zbl 1539.03165 Karagila, Asaf 2 2019 Indirect proof and inversions of syllogisms. Zbl 1477.03006 Dyckhoff, Roy 2 2019 An extension of a theorem of Zermelo. Zbl 1477.03226 Väänänen, Jouko 1 2019 Henkin constructions of models with size continuum. Zbl 1539.03120 Baldwin, John T.; Laskowski, Michael C. 1 2019 An invitation to model theory and \(\mathrm{C}^\ast\)-algebras. Zbl 1446.03067 Lupini, Martino 1 2019 A hierarchy of computably enumerable degrees. Zbl 1522.03155 Downey, Rod; Greenberg, Noam 7 2018 Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023 Pistone, Paolo 5 2018 Strong jump-traceability. Zbl 1522.03157 Greenberg, Noam; Turetsky, Dan 4 2018 Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 1522.03317 Sandqvist, Tor 2 2018 Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. Zbl 1403.03006 von Plato, Jan 1 2018 A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040 Palmgren, Erik 1 2018 Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024 Rizza, Davide 1 2018 2017 European summer meeting of the Association for Symbolic Logic, Logic Colloquium ’17. Stockholm, Sweden, August 14–20, 2017. Zbl 1392.03005 1 2018 In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh 28 2017 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 21 2017 A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas 13 2017 Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S. 12 2017 Incompleteness in the finite domain. Zbl 1423.03245 Pudlák, Pavel 10 2017 Some definable Galois theory and examples. Zbl 1419.03032 León Sánchez, Omar; Pillay, Anand 10 2017 Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027 Damnjanovic, Zlatan 7 2017 Products of Hurewicz spaces in the Laver model. Zbl 1421.03024 Repovš, Dušan; Zdomskyy, Lyubomyr 7 2017 Metavaluations. Zbl 1421.03011 Brady, Ross T. 3 2017 Intuitionistic analysis at the end of time. Zbl 1436.03312 Moschovakis, Joan Rand 2 2017 Constructive geometry and the parallel postulate. Zbl 1403.03130 Beeson, Michael 8 2016 Linear time in hypersequent framework. Zbl 1403.03114 Indrzejczak, Andrzej 8 2016 Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012 Patey, Ludovic 8 2016 Deep \(\Pi_1^0\) classes. Zbl 1401.03077 Bienvenu, Laurent; Porter, Christopher P. 7 2016 Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079 Miyabe, Kenshi; Nies, André; Zhang, Jing 7 2016 Maximal computability structures. Zbl 1403.03072 Iljazović, Zvonko; Validžić, Lucija 6 2016 Computability and the Connes embedding problem. Zbl 1404.03037 Goldbring, Isaac; Hart, Bradd 6 2016 Gödel’s Notre Dame course. Zbl 1380.03003 Adžić, Miloš; Došen, Kosta 4 2016 Russell and Gödel. Zbl 1380.03007 Urquhart, Alasdair 3 2016 The strength of abstraction with predicative comprehension. Zbl 1403.03121 Walsh, Sean 3 2016 Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012 Caramello, Olivia; Russo, Anna Carla 3 2016 Early Bolzano on ground-consequence proofs. Zbl 1384.03005 Centrone, Stefania 3 2016 Relativizing operational set theory. Zbl 1432.03127 Jäger, Gerhard 2 2016 Isomorphism invariance and overgeneration. Zbl 1384.03032 Griffiths, Owen; Paseau, A. C. 1 2016 2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054 1 2016 Book review of: Barry Cooper S. (ed.) and Hodges Andrew (ed.), The once and future Turing. Computing the world. Zbl 1362.00022 Urquhart, Alasdair 1 2016 The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor 25 2015 Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara 21 2015 Demuth’s path to randomness. Zbl 1348.03002 Kučera, Antonín; Nies, André; Porter, Christopher P. 3 2015 Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic. Zbl 1369.03013 Mancosu, Paolo; Zach, Richard 2 2015 Saturated free algebras revisited. Zbl 1372.03066 Pillay, Anand; Sklinos, Rizos 2 2015 Existential-import mathematics. Zbl 1368.03012 Corcoran, John; Masoud, Hassan 2 2015 Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079 Beeson, Michael; Boutry, Pierre; Narboux, Julien 1 2015 Chang’s conjecture, generic elementary embeddings and inner models for huge cardinals. Zbl 1371.03054 Foreman, Matthew 1 2015 Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Zbl 1336.00029 Hirst, Jeffry L. 1 2015 Book review of: K. Tent and M. Ziegler, A course in model theory. Zbl 1336.00027 Hart, Bradd 1 2015 The convenience of the typesetter; notation and typography in Frege’s Grundgesetze der Arithmetik. Zbl 1354.03001 Green, J. J.; Rossberg, Marcus; Ebert, Philip A. 1 2015 Symmetries in modal logics. Zbl 1372.03036 Areces, Carlos; Orbe, Ezequiel 1 2015 Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092 Rinot, Assaf 32 2014 Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G. 20 2014 Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï 15 2014 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 14 2014 Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105 van Oosten, Jaap 12 2014 Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098 Chong, C. T.; Li, Wei; Yang, Yue 6 2014 Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112 Jäger, Gerhard; Zumbrunnen, Rico 5 2014 ...and 263 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,594 Authors 34 Apter, Arthur W. 34 Downey, Rodney Graham 29 Melnikov, Alexander G. 28 Friedman, Sy-David 28 Stephan, Frank 27 Nies, André Otfrid 26 Sanders, Sam 24 Greenberg, Noam 24 Ng, KengMeng 22 Bazhenov, Nikolaĭ Alekseevich 22 Rinot, Assaf 20 Pauly, Arno M. 20 Sayed Ahmed, Tarek 19 Schindler, Ralf-Dieter 18 Artemov, Sergei 18 Beyersdorff, Olaf 18 Levy Patey, Ludovic 18 Pym, David J. 17 Brattka, Vasco 17 Jain, Sanjay 17 Sargsyan, Grigor 16 Studer, Thomas 15 Buss, Samuel R. 15 Carl, Merlin 15 Montalbán, Antonio 14 Barmpalias, George 14 Farah, Ilijas 14 Fitting, Melvin Chris 14 Kuznets, Roman 14 Miller, Joseph S. 14 Negri, Sara 14 Weiermann, Andreas 14 Wessel, Daniel 13 Hamkins, Joel David 13 Pillay, Anand 13 Shore, Richard Arnold 12 Hirschfeldt, Denis Roman 12 Rathjen, Michael 12 Schlicht, Philipp 12 Schuster, Peter Michael 11 Harrison-Trainor, Matthew 11 Kihara, Takayuki 11 Lewis-Pye, Andrew E. M. 11 Shelah, Saharon 11 Sieg, Wilfried 11 Subramani, Krishnan 11 Visser, Albert 11 von Plato, Jan 10 Andréka, Hajnal 10 Kalimullin, Iskander Shagitovich 10 Katz, Mikhail G. 10 Manzano, María 10 Narboux, Julien 10 Tucker, John V. 10 Welch, Philip D. 9 Barton, Neil 9 Deloro, Adrien 9 Došen, Kosta 9 Feferman, Solomon 9 Freund, Anton 9 Koepke, Peter 9 Lücke, Philipp Moritz 9 Meadows, Toby 9 Neeman, Itay 9 Pambuccian, Victor V. 9 Pratt-Hartmann, Ian 9 Shapiro, Stewart 9 Ternullo, Claudio 9 Terwijn, Sebastiaan A. 9 Väänänen, Jouko Antero 9 Vychodil, Vilém 9 Yu, Liang 8 Bagaria, Joan 8 Dershowitz, Nachum 8 Gitman, Victoria 8 Givant, Steven R. 8 Grädel, Erich 8 Hayut, Yair 8 Hölzl, Rupert 8 Kanovei, Vladimir G. 8 Kechris, Alexander S. 8 Khoussainov, Bakhadyr M. 8 Kieroński, Emanuel 8 Kuske, Dietrich 8 Németi, István 8 Otto, Martin 8 Steel, John R. 8 Todorcevic, Stevo B. 8 Trang, Nam 8 Urquhart, Alasdair 8 Wcisło, Bartosz 8 Wojciechowski, Piotr J. 8 Yokoyama, Keita 7 Beeson, Michael J. 7 Bienvenu, Laurent 7 Blinkhorn, Joshua 7 Bowen, Lewis Phylip 7 Cenzer, Douglas 7 Cholak, Peter A. 7 Dzhafarov, Damir D. ...and 2,494 more Authors all top 5 Cited in 276 Journals 246 Annals of Pure and Applied Logic 200 The Journal of Symbolic Logic 109 The Bulletin of Symbolic Logic 100 Archive for Mathematical Logic 94 Theoretical Computer Science 90 The Review of Symbolic Logic 86 Synthese 72 Mathematical Logic Quarterly (MLQ) 66 Studia Logica 58 Journal of Philosophical Logic 53 Transactions of the American Mathematical Society 50 Notre Dame Journal of Formal Logic 46 Proceedings of the American Mathematical Society 46 Journal of Mathematical Logic 43 Israel Journal of Mathematics 41 Information and Computation 40 Advances in Mathematics 39 History and Philosophy of Logic 37 Logical Methods in Computer Science 31 Topology and its Applications 28 Journal of Algebra 27 Mathematical Structures in Computer Science 26 Theory of Computing Systems 23 Journal of Computer and System Sciences 22 Computability 20 Logica Universalis 19 Fundamenta Mathematicae 18 Journal of Automated Reasoning 18 Journal of Applied Non-Classical Logics 18 ACM Transactions on Computational Logic 16 Algebra Universalis 15 Indagationes Mathematicae. New Series 15 Logic and Logical Philosophy 12 Information Processing Letters 12 Annals of Mathematics and Artificial Intelligence 12 Erkenntnis 12 Journal of Applied Logic 11 Bulletin of the London Mathematical Society 11 Journal of Functional Analysis 10 Artificial Intelligence 10 Journal of Logic, Language and Information 10 Forum of Mathematics, Sigma 9 Journal of Mathematical Analysis and Applications 9 Information Sciences 9 Ergodic Theory and Dynamical Systems 9 Historia Mathematica 9 Journal of Logical and Algebraic Methods in Programming 8 Communications in Algebra 8 Algebra and Logic 8 Fuzzy Sets and Systems 8 Bulletin of the Section of Logic 8 Journal of the American Mathematical Society 8 Foundations of Science 8 Oberwolfach Reports 8 Groups, Geometry, and Dynamics 7 Discrete Applied Mathematics 6 Discrete Mathematics 6 International Journal of Theoretical Physics 6 Applied Mathematics and Computation 6 Journal of the London Mathematical Society. Second Series 6 Memoirs of the American Mathematical Society 6 SIAM Journal on Computing 6 International Journal of Algebra and Computation 6 International Journal of Foundations of Computer Science 6 Journal of the ACM 6 Lobachevskii Journal of Mathematics 6 Model Theory 5 Mathematische Semesterberichte 5 The Mathematical Intelligencer 5 Journal of Geometry 5 Journal of Pure and Applied Algebra 5 Proceedings of the London Mathematical Society. Third Series 5 Siberian Mathematical Journal 5 Combinatorica 5 Acta Mathematica Hungarica 5 Journal of Symbolic Computation 5 Journal of Complexity 5 Formal Aspects of Computing 5 Journal of Mathematical Sciences (New York) 5 Journal of the Institute of Mathematics of Jussieu 5 Foundations of Physics 4 Journal d’Analyse Mathématique 4 Illinois Journal of Mathematics 4 Inventiones Mathematicae 4 Mathematische Annalen 4 Mathematische Zeitschrift 4 Monatshefte für Mathematik 4 Order 4 Expositiones Mathematicae 4 Bulletin of the Polish Academy of Sciences, Mathematics 4 Selecta Mathematica. New Series 4 The Journal of Artificial Intelligence Research (JAIR) 4 Topoi 4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 4 Annals of Mathematics. Second Series 4 Journal of the European Mathematical Society (JEMS) 4 RAIRO. Theoretical Informatics and Applications 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Formalized Mathematics 4 RAIRO. Theoretical Informatics and Applications ...and 176 more Journals all top 5 Cited in 53 Fields 2,561 Mathematical logic and foundations (03-XX) 705 Computer science (68-XX) 202 History and biography (01-XX) 190 Group theory and generalizations (20-XX) 143 General and overarching topics; collections (00-XX) 128 Combinatorics (05-XX) 115 General topology (54-XX) 105 Order, lattices, ordered algebraic structures (06-XX) 71 Functional analysis (46-XX) 67 Topological groups, Lie groups (22-XX) 67 Dynamical systems and ergodic theory (37-XX) 66 Category theory; homological algebra (18-XX) 60 Measure and integration (28-XX) 58 Geometry (51-XX) 50 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Field theory and polynomials (12-XX) 36 Quantum theory (81-XX) 35 General algebraic systems (08-XX) 32 Number theory (11-XX) 27 Real functions (26-XX) 25 Manifolds and cell complexes (57-XX) 24 Associative rings and algebras (16-XX) 24 Probability theory and stochastic processes (60-XX) 23 Abstract harmonic analysis (43-XX) 20 Commutative algebra (13-XX) 20 Algebraic topology (55-XX) 18 Algebraic geometry (14-XX) 10 Sequences, series, summability (40-XX) 10 Information and communication theory, circuits (94-XX) 9 Convex and discrete geometry (52-XX) 8 Operations research, mathematical programming (90-XX) 7 Operator theory (47-XX) 7 Systems theory; control (93-XX) 6 Relativity and gravitational theory (83-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Statistics (62-XX) 5 Mathematics education (97-XX) 4 Nonassociative rings and algebras (17-XX) 4 Partial differential equations (35-XX) 4 Difference and functional equations (39-XX) 4 Differential geometry (53-XX) 4 Numerical analysis (65-XX) 4 Mechanics of particles and systems (70-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Potential theory (31-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Ordinary differential equations (34-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Biology and other natural sciences (92-XX) 1 \(K\)-theory (19-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Fluid mechanics (76-XX) Citations by Year