Journal of Mathematical Logic Short Title: J. Math. Log. Publisher: World Scientific, Singapore ISSN: 0219-0613; 1793-6691/e Online: https://www.worldscientific.com/loi/jml Comments: Journal; Indexed cover-to-cover Documents Indexed: 280 Publications (since 2001) References Indexed: 279 Publications with 5,795 References. all top 5 Latest Issues 24, No. 3 (2024) 24, No. 2 (2024) 24, No. 1 (2024) 23, No. 3 (2023) 23, No. 2 (2023) 23, No. 1 (2023) 22, No. 3 (2022) 22, No. 2 (2022) 22, No. 1 (2022) 21, No. 3 (2021) 21, No. 2 (2021) 21, No. 1 (2021) 20, No. 3 (2020) 20, No. 2 (2020) 20, No. 1 (2020) 20, Suppl. 1 (2020) 19, No. 2 (2019) 19, No. 1 (2019) 18, No. 2 (2018) 18, No. 1 (2018) 17, No. 2 (2017) 17, No. 1 (2017) 16, No. 2 (2016) 16, No. 1 (2016) 15, No. 2 (2015) 15, No. 1 (2015) 14, No. 2 (2014) 14, No. 1 (2014) 13, No. 2 (2013) 13, No. 1 (2013) 12, No. 2 (2012) 12, No. 1 (2012) 11, No. 2 (2011) 11, No. 1 (2011) 10, No. 1-2 (2010) 9, No. 2 (2009) 9, No. 1 (2009) 8, No. 2 (2008) 8, No. 1 (2008) 7, No. 2 (2007) 7, No. 1 (2007) 6, No. 2 (2006) 6, No. 1 (2006) 5, No. 2 (2005) 5, No. 1 (2005) 4, No. 2 (2004) 4, No. 1 (2004) 3, No. 2 (2003) 3, No. 1 (2003) 2, No. 2 (2002) 2, No. 1 (2002) 1, No. 2 (2001) 1, No. 1 (2001) all top 5 Authors 13 Shelah, Saharon 7 Downey, Rodney Graham 7 Pillay, Anand 6 Ben-Yaacov, Itaï 6 Lempp, Steffen 6 Magidor, Menachem 6 Neeman, Itay 5 Gitik, Moti 5 Greenberg, Noam 5 Kaplan, Itay 5 Krupiński, Krzysztof 5 Miller, Benjamin David 5 Miller, Joseph S. 5 Nies, André Otfrid 5 Slaman, Theodore A. 4 Goldberg, Gabriel 4 Golshani, Mohammad 4 Hirschfeldt, Denis Roman 4 Hjorth, Gregory 4 Ng, KengMeng 4 Shore, Richard Arnold 4 Wagner, Frank Olaf 4 Zapletal, Jindřich 3 Ben-Neria, Omer 3 Cai, Mingzhong 3 Carroy, Raphaël 3 Cherlin, Gregory L. 3 Chernikov, Artem 3 Dobrinen, Natasha L. 3 Foreman, Matthew D. 3 Friedman, Sy-David 3 Hayut, Yair 3 Hoffmann, Daniel Max 3 Jockusch, Carl G. jun. 3 Krueger, John 3 Lambie-Hanson, Chris 3 Montalbán, Antonio 3 Peterzil, Ya’acov 3 Ramsey, Nicholas 3 Schimmerling, Ernest 3 Simon, Pierre 3 Trang, Nam 3 Väänänen, Jouko Antero 3 Woodin, W. Hugh 3 Wu, Guohua 3 Zeman, Martin 3 Zou, Tingxiang 2 Adler, Hans 2 Andrews, Uri 2 Asperó, David 2 Baldwin, John T. 2 Baudisch, Andreas 2 Bienvenu, Laurent 2 Boney, Will 2 Burdges, Jeffrey 2 Casanovas, Enrique 2 Conant, Gabriel 2 Csima, Barbara F. 2 Cubides Kovacsics, Pablo 2 Cummings, James 2 Dougherty, Randall L. 2 Edmundo, Mário J. 2 Eleftheriou, Pantelis E. 2 Eskew, Monroe 2 Farah, Ilijas 2 Fornasiero, Antongiulio 2 Goldstern, Martin Robert 2 Grossberg, Rami P. 2 Harrison-Trainor, Matthew 2 Hyttinen, Tapani 2 Jahnke, Franziska 2 Johnson, Will 2 Kanovei, Vladimir G. 2 Kim, Byunghan 2 Kołodziejczyk, Leszek Aleksander 2 Krajíček, Jan 2 Kreuzer, Alexander P. 2 Kruckman, Alex 2 Larson, Paul B. 2 Lascar, Daniel 2 Lecomte, Dominique 2 Lee, Junguk 2 Melnikov, Alexander G. 2 Mildenberger, Heike 2 Millar, Jessica 2 Monin, Benoît 2 Moore, Justin Tatch 2 Moosa, Rahim N. 2 Mota, Miguel Angel 2 Motto Ros, Luca 2 Müller, Sandra 2 Pakhomov, Fedor N. 2 Rinot, Assaf 2 Sargsyan, Grigor 2 Schupp, Paul E. 2 Shavrukov, V. Yu. 2 Simpson, Stephen G. 2 Solomon, Reed 2 Spinas, Otmar 2 Starchenko, Sergei ...and 211 more Authors all top 5 Fields 277 Mathematical logic and foundations (03-XX) 23 Field theory and polynomials (12-XX) 18 Combinatorics (05-XX) 18 Group theory and generalizations (20-XX) 12 General topology (54-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 9 Computer science (68-XX) 6 Number theory (11-XX) 6 Category theory; homological algebra (18-XX) 6 Measure and integration (28-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Topological groups, Lie groups (22-XX) 4 Algebraic geometry (14-XX) 3 General algebraic systems (08-XX) 3 Associative rings and algebras (16-XX) 3 Functional analysis (46-XX) 3 Algebraic topology (55-XX) 2 Convex and discrete geometry (52-XX) 2 Probability theory and stochastic processes (60-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 241 Publications have been cited 2,252 times in 1,693 Documents Cited by ▼ Year ▼ Squares, scales and stationary reflection. Zbl 0988.03075 Cummings, James; Foreman, Matthew; Magidor, Menachem 135 2001 Countable Borel equivalence relations. Zbl 1008.03031 Jackson, S.; Kechris, A. S.; Louveau, A. 118 2002 Galois-stability for tame abstract elementary classes. Zbl 1107.03029 Grossberg, Rami; VanDieren, Monica 52 2006 Suitable extender models. I. Zbl 1247.03110 Woodin, W. Hugh 46 2010 Positive model theory and compact abstract theories. Zbl 1028.03034 Ben-Yaacov, Itay 45 2003 Type-definability, compact Lie groups, and o-minimality. Zbl 1069.03029 Pillay, Anand 43 2004 A geometric introduction to forking and thorn-forking. Zbl 1211.03051 Adler, Hans 43 2009 Definably compact abelian groups. Zbl 1070.03025 Edmundo, Mário J.; Otero, Margarita 41 2004 Set mapping reflection. Zbl 1082.03042 Moore, Justin Tatch 41 2005 Categoricity from one successor cardinal in tame abstract elementary classes. Zbl 1129.03019 Grossberg, Rami; VanDieren, Monica 40 2006 On model-theoretic tree properties. Zbl 1402.03043 Chernikov, Artem; Ramsey, Nicholas 40 2016 Simplicity in compact abstract theories. Zbl 1039.03032 Ben-Yaacov, Itay 38 2003 On the mathematical and foundational significance of the uncountable. Zbl 1484.03018 Normann, Dag; Sanders, Sam 30 2019 Relativizing Chaitin’s halting probability. Zbl 1093.03025 Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André 30 2005 Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021 Lerman, Manuel; Solomon, Reed; Towsner, Henry 29 2013 Characterization of \(\square_\kappa\) in core models. Zbl 1095.03050 Schimmerling, Ernest; Zeman, Martin 29 2004 Galois groups of first order theories. Zbl 0993.03048 Casanovas, E.; Lascar, D.; Pillay, A.; Ziegler, M. 29 2001 Tameness and extending frames. Zbl 1338.03066 Boney, Will 26 2014 Suitable extender models. II: Beyond \(\omega \)-huge. Zbl 1248.03069 Woodin, W. Hugh 26 2011 Aronszajn trees and failure of the singular cardinal hypothesis. Zbl 1204.03050 Neeman, Itay 26 2009 On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. Zbl 1373.03068 Hirschfeldt, Denis R.; Jockusch, Carl G. jun. 26 2016 \(b\)-minimality. Zbl 1146.03021 Cluckers, Raf; Loeser, François 24 2007 Definability of the jump operator in the enumeration degrees. Zbl 1049.03030 Kalimullin, I. Sh. 24 2003 Model theory of fields with free operators in characteristic zero. Zbl 1338.03067 Moosa, Rahim; Scanlon, Thomas 24 2014 The canonical topology on dp-minimal fields. Zbl 1522.03115 Johnson, Will 21 2018 The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191 Usuba, Toshimichi 20 2017 Indecomposable linear orderings and hyperarithmetic analysis. Zbl 1105.03061 Montalbán, Antonio 19 2006 Asymptotic density and computably enumerable sets. Zbl 1326.03048 Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E. 19 2013 Mass problems and hyperarithmeticity. Zbl 1150.03013 Cole, Joshua A.; Simpson, Stephen G. 18 2007 Knight’s model, its automorphism group, and characterizing the uncountable cardinals. Zbl 1010.03036 Hjorth, Greg 16 2002 Sheaf cohomology in o-minimal structures. Zbl 1120.03024 Edmundo, Mário J.; Jones, Gareth O.; Peatfield, Nicholas J. 16 2006 Semisimple torsion in groups of finite Morley rank. Zbl 1207.03043 Burdges, Jeffrey; Cherlin, Gregory 16 2009 On perturbations of continuous structures. Zbl 1191.03027 Ben Yaacov, Itaï 16 2008 Simultaneous stationary reflection and square sequences. Zbl 1423.03164 Hayut, Yair; Lambie-Hanson, Chris 16 2017 Totally \(\omega\)-computably enumerable degrees and bounding critical triples. Zbl 1149.03032 Downey, Rod; Greenberg, Noam; Weber, Rebecca 15 2007 Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures. Zbl 1477.03118 Barto, Libor; Kompatscher, Michael; Olšák, Miroslav; Pham, Trung Van; Pinsker, Michael 14 2019 Reverse mathematics of MF spaces. Zbl 1122.03005 Mummert, Carl 14 2006 Relative to any non-hyperarithmetic set. Zbl 1308.03050 Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A. 14 2013 Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027 Freund, Anton 14 2020 Interpreting groups and fields in some nonelementary classes. Zbl 1082.03033 Hyttinen, Tapani; Lessmann, Olivier; Shelah, Saharon 13 2005 A dichotomy for the number of ultrapowers. Zbl 1254.03068 Farah, Ilijas; Shelah, Saharon 13 2010 Constructing the hyperdefinable group from the group configuration. Zbl 1165.03333 de Piro, Tristram; Kim, Byunghan; Millar, Jessica 13 2006 Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Zbl 1204.03056 Beckmann, Arnold; Buss, Samuel R. 13 2009 The Ramsey theory of the universal homogeneous triangle-free graph. Zbl 1485.03185 Dobrinen, Natasha 13 2020 Expansions of algebraically closed fields. II: Functions of several variables. Zbl 1028.03033 Peterzil, Ya’acov; Starchenko, Sergei 12 2003 Isolating cardinal invariants. Zbl 1025.03046 Zapletal, Jindřich 12 2003 The filter dichotomy and medial limits. Zbl 1207.03055 Larson, Paul B. 12 2009 Continuous first order logic for unbounded metric structures. Zbl 1191.03026 Ben Yaacov, Itaï 12 2008 The Bristol model: an abyss called a Cohen real. Zbl 1522.03215 Karagila, Asaf 12 2018 Direct and local definitions of the Turing jump. Zbl 1150.03012 Shore, Richard A. 11 2007 Continuous Ramsey theory on Polish spaces and covering the plane by functions. Zbl 1069.03039 Geschke, Stefan; Goldstern, Martin; Kojman, Menachem 11 2004 Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130 Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 11 2019 Interpretable groups are definable. Zbl 1337.03053 Eleftheriou, Pantelis E.; Peterzil, Ya’acov; Ramakrishnan, Janak 11 2014 Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092 Sargsyan, Grigor 11 2014 Denjoy, Demuth and density. Zbl 1338.03088 Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 11 2014 Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086 Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh 11 2020 Absoluteness via resurrection. Zbl 1423.03184 Audrito, Giorgio; Viale, Matteo 11 2017 Toward a stability theory of tame abstract elementary classes. Zbl 1522.03121 Vasey, Sebastien 11 2018 On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034 Cholak, Peter A.; Harrington, Leo A. 10 2002 Conjugacy of Carter subgroups in groups of finite Morley rank. Zbl 1194.20033 Frécon, Olivier 10 2008 Constructing an almost hyperdefinable group. Zbl 1069.03023 Ben-Yaacov, Itay; Tomašić, Ivan; Wagner, Frank O. 10 2004 The club guessing ideal: commentary on a theorem of Gitik and Shelah. Zbl 1081.03047 Foreman, Matthew; Komjath, Peter 10 2005 Continuous higher randomness. Zbl 1420.03100 Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 10 2017 A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067 Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir 10 2019 Knaster and friends. II: The C-sequence number. Zbl 1535.03246 Lambie-Hanson, Chris; Rinot, Assaf 10 2021 Definable \(V\)-topologies, Henselianity and NIP. Zbl 1472.03035 Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska 10 2020 On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations. Zbl 1436.03303 Kreuzer, Alexander P.; Yokoyama, Keita 10 2016 Invariant types in NIP theories. Zbl 1370.03050 Simon, Pierre 9 2015 Collapsing the cardinals of HOD. Zbl 1348.03046 Cummings, James; Friedman, Sy David; Golshani, Mohammad 9 2015 Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 1477.03148 Chatzidakis, Zoé 9 2019 Inverse limit reflection and the structure of \(L(V_{{\lambda}+1})\). Zbl 1371.03070 Cramer, Scott S. 9 2015 When cotorsion modules are pure injective. Zbl 1209.16002 Herzog, Ivo; Rothmaler, Philipp 9 2009 Existentially closed fields with finite group actions. Zbl 1406.03052 Hoffmann, Daniel M.; Kowalski, Piotr 9 2018 Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular. Zbl 1432.03100 Sargsyan, Grigor; Trang, Nam 9 2016 Optimal proofs of determinacy. II. Zbl 1018.03044 Neeman, Itay 8 2002 Von Neumann coordinatization is not first-order. Zbl 1106.06002 Wehrung, Friedrich 8 2006 Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046 Hamkins, Joel David 8 2013 Borel equivalence relations and Lascar strong types. Zbl 1326.03042 Krupiński, Krzysztof; Pillay, Anand; Solecki, Sławomir 8 2013 Diamonds, compactness, and measure sequences. Zbl 1484.03112 Ben-Neria, Omer 8 2019 The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079 van den Berg, Benno; Moerdijk, Ieke 8 2014 Pseudofinite structures and simplicity. Zbl 1337.03041 García, Darío; Macpherson, Dugald; Steinhorn, Charles 8 2015 Internal approachability and reflection. Zbl 1183.03038 Krueger, John 7 2008 Parameter definability in the recursively enumerable degrees. Zbl 1025.03031 Nies, André 7 2003 Strongly meager sets do not form an ideal. Zbl 0980.03053 Bartoszynski, Tomek; Shelah, Saharon 7 2001 On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036 Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea 7 2005 On the complexity of the successivity relation in computable linear orderings. Zbl 1256.03039 Downey, Rod; Lempp, Steffen; Wu, Guohua 7 2010 On the proof complexity of the Nisan-Wigderson generator based on a hard \(\mathrm{NP} \cap \mathrm{coNP}\) function. Zbl 1259.03073 Krajíček, Jan 7 2011 On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094 Magidor, Menachem; Väänänen, Jouko 7 2011 The classification problem for \(p\)-local torsion-free abelian groups of rank two. Zbl 1115.03062 Hjorth, Greg; Thomas, Simon 7 2006 How can we recognize potentially \(\boldsymbol\Pi^0_\xi\) subsets of the plane? Zbl 1208.03050 Lecomte, Dominique 7 2009 The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences. Zbl 1191.03005 Lindström, Per; Shavrukov, V. Yu. 7 2008 Turing degrees in Polish spaces and decomposability of Borel functions. Zbl 1535.03240 Gregoriades, Vassilios; Kihara, Takayuki; Ng, Keng Meng 7 2021 Generic derivations on o-minimal structures. Zbl 07410401 Fornasiero, Antongiulio; Kaplan, Elliot 7 2021 Homogeneous changes in cofinalities with applications to HOD. Zbl 1423.03192 Ben-Neria, Omer; Unger, Spencer 7 2017 The linearity of the Mitchell order. Zbl 1521.03193 Goldberg, Gabriel 7 2018 Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245 Dobrinen, Natasha 7 2016 Generic expansions by a reduct. Zbl 07419666 d’Elbée, Christian 7 2021 Nowhere precipitousness of the non-stationary ideal over \({\mathcal P}_\kappa\lambda\). Zbl 1022.03028 Matsubara, Yo; Shelah, Saharon 6 2002 On simplicity of bounded pseudoalgebraically closed structures. Zbl 1142.03019 Polkowska, Nicholas Marie 6 2007 Bounding by canonical functions, with CH. Zbl 1042.03035 Larson, Paul; Shelah, Saharon 6 2003 Logical metatheorems for accretive and (generalized) monotone set-valued operators. Zbl 07845702 Pischke, Nicholas 3 2024 Higher indescribability and derived topologies. Zbl 07797269 Cody, Brent 1 2024 Hindman’s theorem in the hierarchy of choice principles. Zbl 07797270 Fernández-Bretón, David 1 2024 Covering at limit cardinals of \(K\). Zbl 07797272 Mitchell, William J.; Schimmerling, Ernest 1 2024 Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics. Zbl 07845699 Hirschfeldt, Denis R.; Jockusch, Carl G.; Schupp, Paul E. 1 2024 Reducing \(\omega\)-model reflection to iterated syntactic reflection. Zbl 07681050 Pakhomov, Fedor; Walsh, James 4 2023 The Ramsey theory of Henson graphs. Zbl 1512.05286 Dobrinen, Natasha 4 2023 Co-theory of sorted profinite groups for PAC structures. Zbl 07712962 Hoffmann, Daniel Max; Lee, Junguk 3 2023 The two halves of disjunctive correctness. Zbl 1523.03031 Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz 3 2023 More definable combinatorics around the first and second uncountable cardinals. Zbl 07712961 Chan, William; Jackson, Stephen; Trang, Nam 2 2023 The degree of nonminimality is at most 2. Zbl 1537.03035 Freitag, James; Jaoui, Rémi; Moosa, Rahim 2 2023 On the antichain tree property. Zbl 07681052 Ahn, JinHoo; Kim, Joonhee; Lee, Junguk 2 2023 Compactness and guessing principles in the Radin extensions. Zbl 07681054 Ben-Neria, Omer; Zhang, Jing 2 2023 Compactness versus hugeness at successor cardinals. Zbl 07677885 Cox, Sean; Eskew, Monroe 2 2023 Simultaneously vanishing higher derived limits without large cardinals. Zbl 07677888 Bergfalk, Jeffrey; Hrušák, Michael; Lambie-Hanson, Chris 2 2023 On piecewise hyperdefinable groups. Zbl 07712959 Fanlo, A. Rodriguez 1 2023 Actions of tame abelian product groups. Zbl 07712960 Allison, Shaun; Shani, Assaf 1 2023 Corrigendum to: “Reducing \(\omega\)-model reflection to iterated syntactic reflection”. Zbl 07712964 Pakhomov, Fedor; Walsh, James 1 2023 Invariant measures in simple and in small theories. Zbl 07681055 Chernikov, Artem; Hrushovski, Ehud; Kruckman, Alex; Krupiński, Krzysztof; Moconja, Slavko; Pillay, Anand; Ramsey, Nicholas 1 2023 Complexity of distances: theory of generalized analytic equivalence relations. Zbl 1542.03061 Cúth, Marek; Doucha, Michal; Kurka, Ondřej 1 2023 Sigma-Prikry forcing. II: Iteration scheme. Zbl 1536.03022 Poveda, Alejandro; Rinot, Assaf; Sinapova, Dima 5 2022 Structural reflection, shrewd cardinals and the size of the continuum. Zbl 1510.03021 Lücke, Philipp 4 2022 Forcing the \({\Sigma}_3^1\)-separation property. Zbl 07566939 Hoffelner, Stefan 3 2022 Maximal almost disjoint families, determinacy, and forcing. Zbl 1521.03137 Haga, Karen Bakke; Schrittesser, David; Törnquist, Asger 3 2022 Reduction games, provability and compactness. Zbl 07632518 Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Reitzes, Sarah 3 2022 Forking and dividing in fields with several orderings and valuations. Zbl 1506.03086 Johnson, Will 2 2022 Abraham-Rubin-Shelah open colorings and a large continuum. Zbl 07544297 Gilton, Thomas; Neeman, Itay 2 2022 The domination monoid in o-minimal theories. Zbl 1509.03105 Mennuni, Rosario 2 2022 A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. Zbl 07632520 Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka 2 2022 New jump operators on equivalence relations. Zbl 07632521 Clemens, John D.; Coskey, Samuel 2 2022 Every \(\Delta_2^0\) degree is a strong degree of categoricity. Zbl 07632522 Csima, Barbara F.; Ng, Keng Meng 2 2022 Incompatible bounded category forcing axioms. Zbl 07566937 Asperó, David; Viale, Matteo 1 2022 The large cardinal strength of weak Vopenka’s principle. Zbl 07544294 Wilson, Trevor M. 1 2022 Coarse groups, and the isomorphism problem for oligomorphic groups. Zbl 1509.03145 Nies, André; Schlicht, Philipp; Tent, Katrin 1 2022 Knaster and friends. II: The C-sequence number. Zbl 1535.03246 Lambie-Hanson, Chris; Rinot, Assaf 10 2021 Turing degrees in Polish spaces and decomposability of Borel functions. Zbl 1535.03240 Gregoriades, Vassilios; Kihara, Takayuki; Ng, Keng Meng 7 2021 Generic derivations on o-minimal structures. Zbl 07410401 Fornasiero, Antongiulio; Kaplan, Elliot 7 2021 Generic expansions by a reduct. Zbl 07419666 d’Elbée, Christian 7 2021 Model-theoretic Elekes-Szabó in the strongly minimal case. Zbl 07410398 Chernikov, Artem; Starchenko, Sergei 6 2021 Forcing axioms and coronas of \(\mathrm{C}^{\ast}\)-algebras. Zbl 1485.46068 McKenney, Paul; Vignati, Alessandro 6 2021 Inner models from extended logics. I. Zbl 1510.03019 Kennedy, Juliette; Magidor, Menachem; Väänänen, Jouko 6 2021 From noncommutative diagrams to anti-elementary classes. Zbl 1474.18004 Wehrung, Friedrich 5 2021 Iterability for (transfinite) stacks. Zbl 07410402 Schlutzenberg, Farmer 4 2021 Pseudofinite groups and VC-dimension. Zbl 07410403 Conant, Gabriel; Pillay, Anand 4 2021 An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. Zbl 07419664 Enayat, Ali; Kanovei, Vladimir 4 2021 Controlling cardinal characteristics without adding reals. Zbl 07419668 Goldstern, Martin; Kellner, Jakob; Mejía, Diego A.; Shelah, Saharon 4 2021 Metrically homogeneous graphs of diameter \(3\). Zbl 1490.03020 Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald 3 2021 Interpolative fusions. Zbl 07410404 Kruckman, Alex; Tran, Chieu-Minh; Walsberg, Erik 3 2021 The weakness of the pigeonhole principle under hyperarithmetical reductions. Zbl 1515.03058 Monin, Benoit; Patey, Ludovic 3 2021 Canonical fragments of the strong reflection principle. Zbl 07419672 Fuchs, Gunter 3 2021 Specializing trees and answer to a question of Williams. Zbl 1473.03030 Golshani, Mohammad; Shelah, Saharon 2 2021 Guessing models and the approachability ideal. Zbl 07410397 Mohammadpour, Rahman; Veličković, Boban 2 2021 On uniform definability of types over finite sets for NIP formulas. Zbl 07419665 Eshel, Shlomo; Kaplan, Itay 2 2021 Pseudofinite difference fields and counting dimensions. Zbl 1535.03187 Zou, Tingxiang 1 2021 Tameness, powerful images, and large cardinals. Zbl 1534.03051 Boney, Will; Lieberman, Michael 1 2021 Bounds on Scott ranks of some Polish metric spaces. Zbl 1535.03239 Chan, William 1 2021 Answer to a question of Rosłanowski and Shelah. Zbl 07419671 Poór, Márk 1 2021 Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027 Freund, Anton 14 2020 The Ramsey theory of the universal homogeneous triangle-free graph. Zbl 1485.03185 Dobrinen, Natasha 13 2020 Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086 Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh 11 2020 Definable \(V\)-topologies, Henselianity and NIP. Zbl 1472.03035 Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska 10 2020 Model theory of Steiner triple systems. Zbl 1485.03082 Barbina, Silvia; Casanovas, Enrique 6 2020 Coding in the automorphism group of a computably categorical structure. Zbl 1477.03147 Turetsky, Dan 5 2020 Recursive functions and existentially closed structures. Zbl 1484.03126 Jeřábek, Emil 5 2020 Every zero-dimensional homogeneous space is strongly homogeneous under determinacy. Zbl 1473.54037 Carroy, Raphaël; Medini, Andrea; Müller, Sandra 4 2020 The consistency strength of hyperstationarity. Zbl 1485.03208 Bagaria, Joan; Magidor, Menachem; Mancilla, Salvador 4 2020 Logical laws for short existential monadic second-order sentences about graphs. Zbl 1485.03084 Zhukovskii, M. E. 4 2020 Uncountable structures are not classifiable up to bi-embeddability. Zbl 1485.03194 Calderoni, Filippo; Mildenberger, Heike; Motto Ros, Luca 3 2020 The special Aronszajn tree property. Zbl 1471.03074 Golshani, Mohammad; Hayut, Yair 3 2020 Extender-based forcings with overlapping extenders and negations of the Shelah weak hypothesis. Zbl 1486.03083 Gitik, Moti 2 2020 Galois groups as quotients of Polish groups. Zbl 1486.03061 Krupiński, Krzysztof; Rzepecki, Tomasz 2 2020 Exponential-constructible functions in \(P\)-minimal structures. Zbl 1472.14064 Chambille, Saskia; Cubides Kovacsics, Pablo; Leenknegt, Eva 2 2020 Weakly minimal groups with a new predicate. Zbl 1485.03093 Conant, Gabriel; Laskowski, Michael C. 2 2020 Computing from projections of random points. Zbl 1467.03013 Greenberg, Noam; Miller, Joseph S.; Nies, André 1 2020 Constructing sequences one step at a time. Zbl 1486.03024 Towsner, Henry 1 2020 Rado’s conjecture and its Baire version. Zbl 1484.03086 Zhang, Jing 1 2020 Locally definable subgroups of semialgebraic groups. Zbl 1485.03130 Baro, Elías; Eleftheriou, Pantelis E.; Peterzil, Ya’acov 1 2020 On the mathematical and foundational significance of the uncountable. Zbl 1484.03018 Normann, Dag; Sanders, Sam 30 2019 Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures. Zbl 1477.03118 Barto, Libor; Kompatscher, Michael; Olšák, Miroslav; Pham, Trung Van; Pinsker, Michael 14 2019 Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130 Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 11 2019 A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067 Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir 10 2019 Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 1477.03148 Chatzidakis, Zoé 9 2019 Diamonds, compactness, and measure sequences. Zbl 1484.03112 Ben-Neria, Omer 8 2019 Ordinal definability and combinatorics of equivalence relations. Zbl 1477.03204 Chan, William 6 2019 Boundedness and absoluteness of some dynamical invariants in model theory. Zbl 1477.03137 Krupiński, Krzysztof; Newelski, Ludomir; Simon, Pierre 3 2019 Linear orders: when embeddability and epimorphism agree. Zbl 1484.03093 Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto 1 2019 Independence in randomizations. Zbl 1484.03051 Andrews, Uri; Goldbring, Isaac; Keisler, H. Jerome 1 2019 Hypergraphs and proper forcing. Zbl 1477.03190 Zapletal, Jindřich 1 2019 The canonical topology on dp-minimal fields. Zbl 1522.03115 Johnson, Will 21 2018 The Bristol model: an abyss called a Cohen real. Zbl 1522.03215 Karagila, Asaf 12 2018 Toward a stability theory of tame abstract elementary classes. Zbl 1522.03121 Vasey, Sebastien 11 2018 Existentially closed fields with finite group actions. Zbl 1406.03052 Hoffmann, Daniel M.; Kowalski, Piotr 9 2018 The linearity of the Mitchell order. Zbl 1521.03193 Goldberg, Gabriel 7 2018 A long chain of P-points. Zbl 1522.03228 Kuzeljevic, Borisa; Raghavan, Dilip 6 2018 Omitting types in logic of metric structures. Zbl 1522.03146 Farah, Ilijas; Magidor, Menachem 6 2018 There is no classification of the decidably presentable structures. Zbl 1522.03125 Harrison-Trainor, Matthew 6 2018 No Tukey reduction of Lebesgue null to Silver null sets. Zbl 1522.03221 Spinas, Otmar 4 2018 Torsion-free abelian groups with optimal Scott families. Zbl 1522.03175 Melnikov, Alexander G. 3 2018 Randomized feasible interpolation and monotone circuits with a local oracle. Zbl 1522.03321 Krajíček, Jan 3 2018 Degrees containing members of thin \(\Pi_1^0\) classes are dense and co-dense. Zbl 1522.03156 Downey, Rodney G.; Wu, Guohua; Yang, Yue 1 2018 ...and 141 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 982 Authors 37 Shelah, Saharon 27 Vasey, Sebastien 25 Ben-Yaacov, Itaï 22 Greenberg, Noam 22 Miller, Joseph S. 22 Patey, Ludovic 22 Rinot, Assaf 21 Downey, Rodney Graham 21 Pillay, Anand 21 Sanders, Sam 20 Sargsyan, Grigor 19 Friedman, Sy-David 19 Kim, Byunghan 19 Nies, André Otfrid 19 Soskova, Mariya Ivanova 18 Apter, Arthur W. 17 Cummings, James 17 Matet, Pierre 17 Peterzil, Ya’acov 17 Sinapova, Dima 17 Unger, Spencer T. 16 Edmundo, Mário J. 16 Hayut, Yair 16 Lambie-Hanson, Chris 15 Eleftheriou, Pantelis E. 15 Freund, Anton 15 Krupiński, Krzysztof 15 Magidor, Menachem 14 Barmpalias, George 14 Hyttinen, Tapani 14 Lempp, Steffen 14 Ramsey, Nicholas 14 Trang, Nam 13 Asperó, David 13 Baldwin, John T. 13 Boney, Will 13 Ganchev, Hristo A. 13 Kaplan, Itay 13 Ng, KengMeng 13 Shore, Richard Arnold 12 Ben-Neria, Omer 12 Chernikov, Artem 12 Conant, Gabriel 12 Gitik, Moti 12 Müller, Sandra 12 Neeman, Itay 12 Thomas, Simon R. 11 Berarducci, Alessandro 11 Dzhafarov, Damir D. 11 Foreman, Matthew D. 11 Kalimullin, Iskander Shagitovich 11 Kechris, Alexander S. 11 Kihara, Takayuki 11 Miller, Benjamin David 11 Schindler, Ralf-Dieter 10 Bagaria, Joan 10 Cai, Mingzhong 10 Farah, Ilijas 10 Harrison-Trainor, Matthew 10 Hoffmann, Daniel Max 10 Larson, Paul B. 10 Normann, Dag 10 Stephan, Frank 10 Viale, Matteo 10 Wagner, Frank Olaf 10 Zeman, Martin 9 Bienvenu, Laurent 9 Conley, Clinton Taylor 9 Grossberg, Rami P. 9 Hjorth, Gregory 9 Johnson, Will 9 Krueger, John 9 Lee, Junguk 9 Lieberman, Michael Joseph 9 Lücke, Philipp Moritz 9 Mazari-Armida, Marcos 9 Melnikov, Alexander G. 9 Monin, Benoît 9 Rathjen, Michael 9 Simon, Pierre 9 Solomon, Reed 8 Aguilera, Juan Pablo 8 Bazhenov, Nikolaĭ Alekseevich 8 Berenstein, Alexander 8 Bodirsky, Manuel 8 Cluckers, Raf 8 Cox, Sean D. 8 Dobrinen, Natasha L. 8 Geschke, Stefan 8 Hamkins, Joel David 8 Hrushovski, Ehud 8 Kanovei, Vladimir G. 8 Kojman, Menachem 8 Kolesnikov, Alexei S. 8 Marks, Andrew S. 8 Prelli, Luca 8 Usuba, Toshimichi 8 Wehrung, Friedrich 7 Andrews, Uri 7 D’Elbée, Christian ...and 882 more Authors all top 5 Cited in 156 Journals 262 The Journal of Symbolic Logic 217 Annals of Pure and Applied Logic 123 Archive for Mathematical Logic 110 Journal of Mathematical Logic 84 Israel Journal of Mathematics 76 Mathematical Logic Quarterly (MLQ) 58 Transactions of the American Mathematical Society 49 Proceedings of the American Mathematical Society 45 Notre Dame Journal of Formal Logic 42 The Bulletin of Symbolic Logic 41 Advances in Mathematics 25 Fundamenta Mathematicae 24 Journal of Algebra 22 Topology and its Applications 17 Selecta Mathematica. New Series 16 Journal of the European Mathematical Society (JEMS) 16 Forum of Mathematics, Sigma 16 Computability 15 Journal of the American Mathematical Society 15 Model Theory 12 Journal of the London Mathematical Society. Second Series 10 Oberwolfach Reports 9 Bulletin of the London Mathematical Society 9 Memoirs of the American Mathematical Society 9 Journal of the Institute of Mathematics of Jussieu 9 The Review of Symbolic Logic 8 Ergodic Theory and Dynamical Systems 7 Algebra and Logic 7 Theoretical Computer Science 7 Lobachevskii Journal of Mathematics 6 Proceedings of the London Mathematical Society. Third Series 6 Journal of Mathematical Sciences (New York) 6 Groups, Geometry, and Dynamics 5 Algebra Universalis 5 Annales de l’Institut Fourier 5 Canadian Journal of Mathematics 5 Inventiones Mathematicae 5 Journal of Pure and Applied Algebra 5 Information and Computation 5 Russian Mathematics 5 Journal of Logic and Analysis 5 Bollettino dell’Unione Matematica Italiana 4 Monatshefte für Mathematik 4 Pacific Journal of Mathematics 4 Journal of Modern Dynamics 4 Logical Methods in Computer Science 4 Algebra & Number Theory 4 Forum of Mathematics, Pi 4 European Journal of Mathematics 4 Transactions of the American Mathematical Society. Series B 3 Communications in Algebra 3 Discrete Mathematics 3 Canadian Mathematical Bulletin 3 Duke Mathematical Journal 3 Journal of the Mathematical Society of Japan 3 Mathematische Annalen 3 Mathematische Zeitschrift 3 Results in Mathematics 3 SIAM Journal on Computing 3 Studia Logica 3 Theory of Computing Systems 3 Annals of Mathematics. Second Series 3 Logica Universalis 3 Confluentes Mathematici 2 Discrete Applied Mathematics 2 Journal of Mathematical Analysis and Applications 2 Periodica Mathematica Hungarica 2 Acta Mathematica 2 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série 2 Colloquium Mathematicum 2 Journal of Combinatorial Theory. Series A 2 Journal of Functional Analysis 2 Journal of Philosophical Logic 2 Advances in Applied Mathematics 2 Combinatorica 2 Acta Mathematica Hungarica 2 Journal of Complexity 2 Journal of Automated Reasoning 2 Forum Mathematicum 2 International Journal of Mathematics 2 Mathematical Structures in Computer Science 2 Bulletin of the Polish Academy of Sciences, Mathematics 2 New Zealand Journal of Mathematics 2 Topology Proceedings 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Asian-European Journal of Mathematics 1 Archive for History of Exact Sciences 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Mathematische Semesterberichte 1 Acta Scientiarum Mathematicarum 1 The Annals of Probability 1 Dissertationes Mathematicae 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Journal für die Reine und Angewandte Mathematik 1 Manuscripta Mathematica 1 Mathematische Nachrichten 1 Mathematics of Operations Research 1 Michigan Mathematical Journal 1 Numerical Functional Analysis and Optimization ...and 56 more Journals all top 5 Cited in 43 Fields 1,569 Mathematical logic and foundations (03-XX) 126 Group theory and generalizations (20-XX) 113 Combinatorics (05-XX) 99 Dynamical systems and ergodic theory (37-XX) 99 General topology (54-XX) 97 Field theory and polynomials (12-XX) 81 Computer science (68-XX) 60 Order, lattices, ordered algebraic structures (06-XX) 58 Topological groups, Lie groups (22-XX) 48 Algebraic geometry (14-XX) 47 Measure and integration (28-XX) 47 Functional analysis (46-XX) 36 Category theory; homological algebra (18-XX) 34 Number theory (11-XX) 26 General and overarching topics; collections (00-XX) 23 Associative rings and algebras (16-XX) 20 Algebraic topology (55-XX) 16 Several complex variables and analytic spaces (32-XX) 14 Probability theory and stochastic processes (60-XX) 13 General algebraic systems (08-XX) 13 Commutative algebra (13-XX) 11 Real functions (26-XX) 10 Abstract harmonic analysis (43-XX) 10 Operator theory (47-XX) 10 Convex and discrete geometry (52-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 History and biography (01-XX) 7 Manifolds and cell complexes (57-XX) 4 Sequences, series, summability (40-XX) 4 Geometry (51-XX) 3 Differential geometry (53-XX) 2 Nonassociative rings and algebras (17-XX) 2 Ordinary differential equations (34-XX) 2 Difference and functional equations (39-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 \(K\)-theory (19-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Approximations and expansions (41-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year