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: 608 Publications (since 1995) References Indexed: 458 Publications with 17,975 References. all top 5 Latest Issues 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) 5, No. 2 (1999) 5, No. 1 (1999) 4, No. 4 (1998) ...and 13 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 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 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 Artemov, Sergei 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 Hart, Bradd T. 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 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 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 Davis, Martin David 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 Freitag, James 2 Gherardi, Guido 2 Givant, Steven R. 2 Goldfarb, Warren D. 2 Griffiths, Owen 2 Halevi, Yatir 2 Harrison-Trainor, Matthew 2 Haskell, Deirdre 2 Hasson, Assaf 2 Henkin, Leon Albert 2 Hintikka, Jaakko 2 Hirst, Jeffry Lynn 2 Hodges, Wilfrid 2 Holy, Peter ...and 429 more Authors all top 5 Fields 559 Mathematical logic and foundations (03-XX) 164 General and overarching topics; collections (00-XX) 126 History and biography (01-XX) 43 Computer science (68-XX) 17 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 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 346 Publications have been cited 3,311 times in 2,776 Documents Cited by ▼ Year ▼ Explicit provability and constructive semantics. Zbl 0980.03059 Artemov, Sergei N. 141 2001 The logic of bunched implications. Zbl 0930.03095 O’Hearn, Peter W.; Pym, David J. 92 1999 Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048 Pestov, Vladimir G. 90 2008 On the decision problem for two-variable first-order logic. Zbl 0873.03009 Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 68 1997 Cut elimination in the presence of axioms. Zbl 0934.03072 Negri, Sara; von Plato, Jan 56 1998 Effective choice and boundedness principles in computable analysis. Zbl 1226.03062 Brattka, Vasco; Gherardi, Guido 55 2011 The complexity of propositional proofs. Zbl 1133.03037 Segerlind, Nathan 50 2007 Open questions in reverse mathematics. Zbl 1233.03023 Montalbán, Antonio 49 2011 The complexity of propositional proofs. Zbl 0845.03025 Urquhart, Alasdair 48 1995 Calibrating randomness. Zbl 1113.03037 Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. 47 2006 Randomness and computability: open questions. Zbl 1169.03033 Miller, Joseph S.; Nies, André 42 2006 Tarski’s system of geometry. Zbl 0932.01031 Tarski, Alfred; Givant, Steven 41 1999 Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055 Edalat, Abbas 39 1997 Automatic continuity of group homomorphisms. Zbl 1173.03037 Rosendal, Christian 38 2009 Mass problems and randomness. Zbl 1090.03015 Simpson, Stephen G. 37 2005 Automata presenting structures: A survey of the finite string case. Zbl 1146.03028 Rubin, Sasha 36 2008 Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067 Hamkins, Joel David 35 1999 Describing groups. Zbl 1167.20017 Nies, André 35 2007 Computability and recursion. Zbl 0861.03031 Soare, Robert I. 34 1996 Analytic ideals. Zbl 0862.04002 Solecki, Sławomir 34 1996 Square in core models. Zbl 0992.03062 Schimmerling, Ernest; Zeman, Martin 30 2001 Foundations of online structure theory. Zbl 1477.03167 Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander 30 2019 Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092 Rinot, Assaf 29 2014 Second-order logic and foundations of mathematics. Zbl 1002.03013 Väänänen, Jouko 27 2001 Turing computations on ordinals. Zbl 1096.03053 Koepke, Peter 27 2005 Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003 von Plato, Jan 25 2008 In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh 25 2017 Computability theory and differential geometry. Zbl 1085.03033 Soare, Robert I. 24 2004 Optimal proofs of determinacy. Zbl 0835.03017 Neeman, Itay 23 1995 Algebraic logic, where does it stand today? Zbl 1111.03053 Sayed Ahmed, Tarek 23 2005 Mathematical fuzzy logics. Zbl 1144.03023 Gottwald, Siegfried 22 2008 Does mathematics need new axioms? Zbl 0977.03002 Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. 22 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 Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036 Krajíček, Jan; Scanlon, Thomas 21 2000 Hilbert’s programs: 1917-1922. Zbl 0924.03002 Sieg, Wilfried 21 1999 A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027 Dershowitz, Nachum; Gurevich, Yuri 21 2008 The discovery of my completeness proofs. Zbl 0882.03001 Henkin, Leon 21 1996 Relative truth definability of axiomatic truth theories. Zbl 1209.03002 Fujimoto, Kentaro 21 2010 New dichotomies for Borel equivalence relations. Zbl 0889.03038 Hjorth, Greg; Kechris, Alexander S. 20 1997 The hyperuniverse program. Zbl 1307.03003 Arrigoni, Tatiana; Friedman, Sy-David 20 2013 Internal consistency and the inner model hypothesis. Zbl 1134.03029 Friedman, Sy-David 19 2006 Logicality and invariance. Zbl 1146.03002 Bonnay, Denis 19 2008 \(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022 Steel, John R. 19 1995 The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065 Ehrlich, Philip 19 2012 Developments in constructive nonstandard analysis. Zbl 0920.03063 Palmgren, Erik 19 1998 Identity of proofs based on normalization and generality. Zbl 1058.03061 Došen, Kosta 19 2003 Machines, logic and quantum physics. Zbl 0998.68059 Deutsch, David; Ekert, Artur; Lupacchini, Rossella 18 2000 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 18 2017 Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G. 18 2014 Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara 18 2015 Proper forcing and remarkable cardinals. Zbl 0960.03044 Schindler, Ralf-Dieter 16 2000 Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035 Rathjen, Michael 16 1995 Partition theorems and computability theory. Zbl 1097.03037 Mileti, Joseph R. 16 2005 The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor 16 2015 Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004 Schroeder-Heister, Peter 16 2002 Classification from a computable viewpoint. Zbl 1123.03024 Calvert, Wesley; Knight, Julia F. 15 2006 On the equimorphism types of linear orderings. Zbl 1129.03024 Montalbán, Antonio 15 2007 Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003 Zach, Richard 15 1999 Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059 Gabbay, Murdoch J. 15 2011 Predicative fragments of Frege arithmetic. Zbl 1068.03051 Linnebo, Øystein 15 2004 Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028 Balcar, Bohuslav; Jech, Thomas 14 2006 Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002 von Plato, Jan 14 2012 The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030 Kanamori, Akihiro 14 1997 Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050 Mummert, Carl; Simpson, Stephen G. 14 2005 A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012 Yanofsky, Noson S. 14 2003 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019 Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 14 1996 The impact of the lambda calculus in logic and computer science. Zbl 0887.03008 Barendregt, Henk 14 1997 Kleene’s amazing second recursion theorem. Zbl 1211.03061 Moschovakis, Yiannis N. 14 2010 The graph-theoretic approach to descriptive set theory. Zbl 1361.03047 Miller, Benjamin D. 14 2012 Combinatorial dichotomies in set theory. Zbl 1230.03075 Todorcevic, Stevo 13 2011 Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037 Clemens, John D.; Gao, Su; Kechris, Alexander S. 13 2001 The road to modern logic – an interpretation. Zbl 1005.03003 Ferreirós, José 13 2001 Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040 Keisler, H. Jerome 13 2006 Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031 Hodkinson, Ian; Otto, Martin 13 2003 Forcing in proof theory. Zbl 1064.03034 Avigad, Jeremy 13 2004 Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001 Sieg, Wilfried 13 1997 A survey of Mučnik and Medvedev degrees. Zbl 1248.03063 Hinman, Peter G. 13 2012 Descriptive inner model theory. Zbl 1307.03030 Sargsyan, Grigor 13 2013 What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029 McLarty, Colin 13 2010 Second order logic or set theory? Zbl 1252.03024 Väänänen, Jouko 12 2012 Games for truth. Zbl 1193.03011 Welch, P. D. 12 2009 A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas 12 2017 On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006 Welch, P. D. 12 2001 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008 Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 12 2005 Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S. 12 2017 Some aspects of model theory and finite structures. Zbl 1017.03015 Rosen, Eric 12 2002 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 Schemata: the concept of schema in the history of logic. Zbl 1123.03001 Corcoran, John 11 2006 Set theory and \(C^*\)-algebras. Zbl 1127.46043 Weaver, Nik 11 2007 Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024 Jaligot, Eric 11 2001 Fixed point logics. Zbl 1002.03030 Dawar, Anuj; Gurevich, Yuri 11 2002 Hyperfinite law of large numbers. Zbl 0861.03051 Sun, Yeneng 11 1996 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 11 2014 Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï 11 2014 From stability to simplicity. Zbl 0897.03034 Kim, Byunghan; Pillay, Anand 10 1998 The mathematical development of set theory from Cantor to Cohen. Zbl 0851.04001 Kanamori, Akihiro 10 1996 In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040 Feferman, Solomon 10 2000 Zermelo and set theory. Zbl 1098.03004 Kanamori, Akihiro 10 2004 Full development of Tarski’s geometry of solids. Zbl 1156.03011 Gruszczyński, Rafał; Pietruszczak, Andrzej 10 2008 Computably compact metric spaces. Zbl 07725101 Downey, Rodney G.; Melnikov, Alexander G. 4 2023 Extended frames and separations of logical principles. Zbl 07749829 Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita 2 2023 Saturated models for the working model theorist. Zbl 07725100 Halevi, Yatir; Kaplan, Itay 1 2023 Large cardinals as principles of structural reflection. Zbl 07665537 Bagaria, Joan 1 2023 Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077 Hrbacek, Karel; Katz, Mikhail G. 1 2023 The Jacobson radical of a propositional theory. Zbl 07550752 Fellin, Giulio; Schuster, Peter; Wessel, Daniel 2 2022 Constructing Wadge classes. Zbl 1504.03026 Carroy, Raphaël; Medini, Andrea; Müller, Sandra 2 2022 Affine logic for constructive mathematics. Zbl 07606771 Shulman, Michael 2 2022 Sealing of the universally Baire sets. Zbl 07455124 Sargsyan, Grigor; Trang, Nam 8 2021 Disjunctions with stopping conditions. Zbl 07455123 Kossak, Roman; Wcisło, Bartosz 4 2021 Strong colorings over partitions. Zbl 1496.03179 Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris 3 2021 Sense and reference from a constructivist standpoint. Zbl 07482183 Dummett, Michael 2 2021 The sense/reference distinction in constructive semantics. Zbl 07482184 Martin-Löf, Per 2 2021 Kurt Gödel on logical, theological, and physical antinomies. Zbl 1482.03001 Lethen, Tim 1 2021 Reduction techniques for proving decidability in logics and their meet-combination. Zbl 07379167 Rasga, João; Sernadas, Cristina; Carnielli, Walter 1 2021 Current research on Gödel’s incompleteness theorems. Zbl 1497.03067 Cheng, Yong 1 2021 Domination and regularity. Zbl 07330990 Pillay, Anand 4 2020 Finding the limit of incompleteness. I. Zbl 1464.03089 Cheng, Yong 3 2020 Gödel diffeomorphisms. Zbl 1486.03075 Foreman, Matthew 2 2020 A reconstruction of Steel’s multiverse project. Zbl 1477.03012 Maddy, Penelope; Meadows, Toby 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 30 2019 Large cardinals beyond choice. Zbl 1475.03098 Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh 7 2019 A conjectural classification of strongly dependent fields. Zbl 1477.03134 Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska 7 2019 Model theory and machine learning. Zbl 1506.03095 Chase, Hunter; Freitag, James 3 2019 Realizing realizability results with classical constructions. Zbl 07167381 Karagila, Asaf 2 2019 Eta-rules in Martin-Löf type theory. Zbl 1486.03028 Klev, Ansten 1 2019 Henkin constructions of models with size continuum. Zbl 07049058 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 Indirect proof and inversions of syllogisms. Zbl 1477.03006 Dyckhoff, Roy 1 2019 An extension of a theorem of Zermelo. Zbl 1477.03226 Väänänen, Jouko 1 2019 A hierarchy of computably enumerable degrees. Zbl 1522.03155 Downey, Rod; Greenberg, Noam 6 2018 Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023 Pistone, Paolo 3 2018 Strong jump-traceability. Zbl 1522.03157 Greenberg, Noam; Turetsky, Dan 2 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 Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 1522.03317 Sandqvist, 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.03006 von Plato, Jan 1 2018 In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134 Woodin, W. Hugh 25 2017 Eliminating disjunctions by disjunction elimination. Zbl 1455.03074 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel 18 2017 A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017 Beringer, Timo; Schindler, Thomas 12 2017 Forcing with bushy trees. Zbl 1421.03021 Khan, Mushfeq; Miller, Joseph S. 12 2017 Some definable Galois theory and examples. Zbl 1419.03032 León Sánchez, Omar; Pillay, Anand 10 2017 Incompleteness in the finite domain. Zbl 1423.03245 Pudlák, Pavel 9 2017 Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027 Damnjanovic, Zlatan 6 2017 Products of Hurewicz spaces in the Laver model. Zbl 1421.03024 Repovš, Dušan; Zdomskyy, Lyubomyr 6 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 Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012 Patey, Ludovic 10 2016 Constructive geometry and the parallel postulate. Zbl 1403.03130 Beeson, Michael 8 2016 Linear time in hypersequent framework. Zbl 1403.03114 Indrzejczak, Andrzej 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 Deep \(\Pi_1^0\) classes. Zbl 1401.03077 Bienvenu, Laurent; Porter, Christopher P. 5 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 Computability and the Connes embedding problem. Zbl 1404.03037 Goldbring, Isaac; Hart, Bradd 3 2016 Gödel’s Notre Dame course. Zbl 1380.03003 Adžić, Miloš; Došen, Kosta 3 2016 Russell and Gödel. Zbl 1380.03007 Urquhart, Alasdair 3 2016 The strength of abstraction with predicative comprehension. Zbl 1403.03121 Walsh, Sean 2 2016 Relativizing operational set theory. Zbl 1432.03127 Jä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.00022 Urquhart, 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.03032 Griffiths, Owen; Paseau, A. C. 1 2016 Geometrisation of first-order logic. Zbl 1368.03013 Dyckhoff, Roy; Negri, Sara 18 2015 The constraint satisfaction problem and universal algebra. Zbl 1336.68113 Barto, Libor 16 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 Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079 Beeson, Michael; Boutry, Pierre; Narboux, Julien 1 2015 Existential-import mathematics. Zbl 1368.03012 Corcoran, John; Masoud, Hassan 1 2015 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 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 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 29 2014 Computable abelian groups. Zbl 1345.03065 Melnikov, Alexander G. 18 2014 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 11 2014 Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058 Ben Yaacov, Itaï 11 2014 Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098 Chong, C. T.; Li, Wei; Yang, Yue 4 2014 Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112 Jäger, Gerhard; Zumbrunnen, Rico 4 2014 On optimal inverters. Zbl 1341.03052 Chen, Yijia; Flum, Jörg 2 2014 Erdős and set theory. Zbl 1345.03006 Kanamori, Akihiro 2 2014 Completeness and categoricity (in power): formalization without foundationalism. Zbl 1341.03043 Baldwin, John T. 1 2014 2013 North American annual meeting of the Association for Symbolic Logic, University of Waterloo, Waterloo, Ontario, Canada, May 8–11, 2013. Zbl 1301.03007 1 2014 Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002 Bruni, Riccardo; Schuster, Peter 1 2014 Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105 van Oosten, Jaap 1 2014 The hyperuniverse program. Zbl 1307.03003 Arrigoni, Tatiana; Friedman, Sy-David 20 2013 Descriptive inner model theory. Zbl 1307.03030 Sargsyan, Grigor 13 2013 Logic in the 1930s: type theory and model theory. Zbl 1326.03006 Schiemer, Georg; Reck, Erich H. 8 2013 Interpretability in Robinson’s Q. Zbl 1325.03072 Ferreira, Fernando; Ferreira, Gilda 8 2013 The foundational problem of logic. Zbl 1405.03016 Sher, Gila 3 2013 Algorithmic randomness and measures of complexity. Zbl 1348.03039 Barmpalias, George 3 2013 On formalism freeness: implementing Gödel’s 1946 Princeton bicentennial lecture. Zbl 1348.03008 Kennedy, Juliette 3 2013 Non-standard lattices and o-minimal groups. Zbl 1301.03036 Eleftheriou, Pantelis E. 2 2013 Analytic equivalence relations and the forcing method. Zbl 1326.03061 Zapletal, Jindřich 1 2013 Shift-complex sequences. Zbl 1285.03057 Khan, Mushfeq 1 2013 The Horn theory of Boole’s partial algebras. Zbl 1288.03037 Burris, Stanley N.; Sankappanavar, H. P. 1 2013 ...and 246 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,344 Authors 32 Apter, Arthur W. 31 Downey, Rodney Graham 28 Stephan, Frank 27 Friedman, Sy-David 25 Melnikov, Alexander G. 22 Greenberg, Noam 22 Nies, André Otfrid 22 Sanders, Sam 21 Ng, KengMeng 20 Sayed Ahmed, Tarek 19 Bazhenov, Nikolaĭ Alekseevich 19 Schindler, Ralf-Dieter 18 Patey, Ludovic 18 Pauly, Arno M. 18 Rinot, Assaf 17 Artemov, Sergei 17 Brattka, Vasco 17 Sargsyan, Grigor 16 Jain, Sanjay 16 Studer, Thomas 15 Beyersdorff, Olaf 14 Carl, Merlin 14 Farah, Ilijas 14 Montalbán, Antonio 14 Negri, Sara 14 Pym, David J. 13 Buss, Samuel R. 13 Pillay, Anand 13 Shore, Richard Arnold 13 Wessel, Daniel 12 Barmpalias, George 12 Hamkins, Joel David 12 Hirschfeldt, Denis Roman 12 Kuznets, Roman 12 Miller, Joseph S. 11 Fitting, Melvin Chris 11 Lewis-Pye, Andrew E. M. 11 Rathjen, Michael 11 Schlicht, Philipp 11 Sieg, Wilfried 11 von Plato, Jan 10 Andréka, Hajnal 10 Harrison-Trainor, Matthew 10 Kalimullin, Iskander Shagitovich 10 Kihara, Takayuki 10 Manzano, María 10 Schuster, Peter Michael 10 Shelah, Saharon 10 Tucker, John V. 10 Weiermann, Andreas 10 Welch, Philip D. 9 Došen, Kosta 9 Feferman, Solomon 9 Hölzl, Rupert 9 Katz, Mikhail G. 9 Koepke, Peter 9 Narboux, Julien 9 Pambuccian, Victor V. 9 Shapiro, Stewart 9 Subramani, Krishnan 9 Väänänen, Jouko Antero 9 Visser, Albert 9 Vychodil, Vilém 9 Yu, Liang 8 Barton, Neil 8 Deloro, Adrien 8 Dershowitz, Nachum 8 Givant, Steven R. 8 Hayut, Yair 8 Kanovei, Vladimir G. 8 Kechris, Alexander S. 8 Khoussainov, Bakhadyr M. 8 Kuske, Dietrich 8 Lücke, Philipp Moritz 8 Meadows, Toby 8 Neeman, Itay 8 Németi, István 8 Steel, John R. 8 Ternullo, Claudio 8 Terwijn, Sebastiaan A. 8 Trang, Nam 8 Woodin, W. Hugh 7 Bowen, Lewis Phylip 7 Cenzer, Douglas 7 Finkel, Olivier 7 Fokina, Ekaterina B. 7 Freund, Anton 7 Fujiwara, Makoto 7 Gherardi, Guido 7 Grädel, Erich 7 Hjorth, Gregory 7 Hrušák, Michael 7 Kwela, Adam 7 Marcone, Alberto 7 Monin, Benoît 7 Motto Ros, Luca 7 Müller, Moritz 7 Müller, Sandra 7 Otto, Martin 7 Pratt-Hartmann, Ian ...and 2,244 more Authors all top 5 Cited in 265 Journals 227 Annals of Pure and Applied Logic 188 The Journal of Symbolic Logic 97 The Bulletin of Symbolic Logic 94 Archive for Mathematical Logic 90 Theoretical Computer Science 86 Synthese 85 The Review of Symbolic Logic 68 Mathematical Logic Quarterly (MLQ) 66 Studia Logica 53 Journal of Philosophical Logic 46 Transactions of the American Mathematical Society 45 Notre Dame Journal of Formal Logic 45 Journal of Mathematical Logic 43 Proceedings of the American Mathematical Society 39 Information and Computation 35 Advances in Mathematics 34 Israel Journal of Mathematics 34 History and Philosophy of Logic 32 Logical Methods in Computer Science 29 Topology and its Applications 26 Journal of Algebra 26 MSCS. Mathematical Structures in Computer Science 25 Theory of Computing Systems 22 Journal of Computer and System Sciences 21 Computability 20 Logica Universalis 18 Journal of Applied Non-Classical Logics 18 ACM Transactions on Computational Logic 17 Journal of Automated Reasoning 16 Fundamenta Mathematicae 15 Indagationes Mathematicae. New Series 14 Algebra Universalis 12 Annals of Mathematics and Artificial Intelligence 12 Erkenntnis 12 Logic and Logical Philosophy 12 Journal of Applied Logic 11 Information Processing Letters 11 Journal of Functional Analysis 10 Journal of Logic, Language and Information 9 Artificial Intelligence 9 Journal of Mathematical Analysis and Applications 9 Information Sciences 9 Ergodic Theory and Dynamical Systems 9 Historia Mathematica 9 Forum of Mathematics, Sigma 9 Journal of Logical and Algebraic Methods in Programming 8 Communications in Algebra 8 Algebra and Logic 8 Bulletin of the London Mathematical Society 8 Fuzzy Sets and Systems 8 Bulletin of the Section of Logic 8 Journal of the American Mathematical Society 8 Foundations of Science 7 Oberwolfach Reports 7 Groups, Geometry, and Dynamics 6 Discrete Applied Mathematics 6 Discrete Mathematics 6 International Journal of Theoretical Physics 6 Applied Mathematics and Computation 6 Memoirs of the American Mathematical Society 6 International Journal of Algebra and Computation 6 International Journal of Foundations of Computer Science 5 Mathematische Semesterberichte 5 The Mathematical Intelligencer 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 Journal of Mathematical Sciences (New York) 5 Lobachevskii Journal of Mathematics 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 Journal of Geometry 4 Journal of the London Mathematical Society. Second Series 4 Monatshefte für Mathematik 4 Siberian Mathematical Journal 4 Expositiones Mathematicae 4 Selecta Mathematica. New Series 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 RAIRO. Theoretical Informatics and Applications 4 European Journal of Mathematics 4 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 4 Logicheskie Issledovaniya 3 Acta Informatica 3 International Journal of General Systems 3 Mathematical Notes 3 Rocky Mountain Journal of Mathematics 3 Commentationes Mathematicae Universitatis Carolinae 3 Duke Mathematical Journal 3 Journal of Economic Theory 3 Mathematische Annalen ...and 165 more Journals all top 5 Cited in 52 Fields 2,294 Mathematical logic and foundations (03-XX) 618 Computer science (68-XX) 184 History and biography (01-XX) 168 Group theory and generalizations (20-XX) 132 General and overarching topics; collections (00-XX) 104 General topology (54-XX) 103 Combinatorics (05-XX) 93 Order, lattices, ordered algebraic structures (06-XX) 66 Functional analysis (46-XX) 60 Topological groups, Lie groups (22-XX) 58 Measure and integration (28-XX) 58 Dynamical systems and ergodic theory (37-XX) 51 Category theory; homological algebra (18-XX) 51 Geometry (51-XX) 50 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 35 Field theory and polynomials (12-XX) 32 Number theory (11-XX) 28 General algebraic systems (08-XX) 27 Real functions (26-XX) 27 Quantum theory (81-XX) 22 Abstract harmonic analysis (43-XX) 22 Probability theory and stochastic processes (60-XX) 20 Associative rings and algebras (16-XX) 19 Commutative algebra (13-XX) 19 Manifolds and cell complexes (57-XX) 17 Algebraic geometry (14-XX) 12 Algebraic topology (55-XX) 10 Sequences, series, summability (40-XX) 9 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) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Statistics (62-XX) 5 Operations research, mathematical programming (90-XX) 5 Mathematics education (97-XX) 4 Differential geometry (53-XX) 4 Numerical analysis (65-XX) 4 Mechanics of particles and systems (70-XX) 3 Nonassociative rings and algebras (17-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Partial differential equations (35-XX) 3 Difference and functional equations (39-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Potential theory (31-XX) 2 Ordinary differential equations (34-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Biology and other natural sciences (92-XX) 1 \(K\)-theory (19-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year