## 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: Indexed cover-to-cover
 Documents Indexed: 238 Publications (since 2001) References Indexed: 237 Publications with 4,728 References.
all top 5

### Latest Issues

 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

 11 Shelah, Saharon 7 Downey, Rodney Graham 6 Ben-Yaacov, Itaï 6 Lempp, Steffen 6 Neeman, Itay 6 Pillay, Anand 5 Greenberg, Noam 5 Magidor, Menachem 5 Miller, Benjamin David 5 Miller, Joseph S. 5 Nies, André Otfrid 5 Slaman, Theodore A. 4 Gitik, Moti 4 Golshani, Mohammad 4 Hjorth, Gregory 4 Kaplan, Itay 4 Krupiński, Krzysztof 4 Shore, Richard Arnold 4 Wagner, Frank Olaf 3 Cai, Mingzhong 3 Carroy, Raphaël 3 Cherlin, Gregory L. 3 Friedman, Sy-David 3 Goldberg, Gabriel 3 Krueger, John 3 Montalbán, Antonio 3 Ng, KengMeng 3 Peterzil, Ya’acov 3 Simon, Pierre 3 Väänänen, Jouko Antero 3 Woodin, W. Hugh 3 Wu, Guohua 3 Zapletal, Jindřich 3 Zou, Tingxiang 2 Adler, Hans 2 Andrews, Uri 2 Baudisch, Andreas 2 Ben-Neria, Omer 2 Bienvenu, Laurent 2 Boney, Will 2 Burdges, Jeffrey 2 Casanovas, Enrique 2 Chernikov, Artem 2 Conant, Gabriel 2 Cubides Kovacsics, Pablo 2 Cummings, James 2 Dobrinen, Natasha L. 2 Dougherty, Randall L. 2 Edmundo, Mário J. 2 Eleftheriou, Pantelis E. 2 Farah, Ilijas 2 Foreman, Matthew D. 2 Fornasiero, Antongiulio 2 Goldstern, Martin Robert 2 Grossberg, Rami P. 2 Harrison-Trainor, Matthew 2 Hayut, Yair 2 Hirschfeldt, Denis Roman 2 Hoffmann, Daniel Max 2 Hyttinen, Tapani 2 Jockusch, Carl G. jun. 2 Johnson, Will 2 Kanovei, Vladimir G. 2 Kim, Byunghan 2 Krajíček, Jan 2 Kreuzer, Alexander P. 2 Lambie-Hanson, Chris 2 Larson, Paul B. 2 Lascar, Daniel 2 Lecomte, Dominique 2 Melnikov, Alexander G. 2 Millar, Jessica 2 Monin, Benoît 2 Moore, Justin Tatch 2 Motto Ros, Luca 2 Müller, Sandra 2 Sargsyan, Grigor 2 Schimmerling, Ernest 2 Shavrukov, V. Yu. 2 Simpson, Stephen G. 2 Solomon, Reed 2 Spinas, Otmar 2 Starchenko, Sergei 2 Steinhorn, Charles I. 2 Thomas, Simon R. 2 Tomašić, Ivan 2 Towsner, Henry 2 Trang, Nam 2 Van Dieren, Monica 2 Viale, Matteo 2 Weber, Rebecca 2 Wehrung, Friedrich 2 Zeman, Martin 2 Ziegler, Martin 1 Amato, Daniela A. 1 Andretta, Alessandro 1 Arai, Toshiyasu 1 Asperó, David 1 Audrito, Giorgio 1 Avigad, Jeremy ...and 163 more Authors
all top 5

### Fields

 237 Mathematical logic and foundations (03-XX) 16 Field theory and polynomials (12-XX) 16 Group theory and generalizations (20-XX) 10 Combinatorics (05-XX) 8 General topology (54-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Computer science (68-XX) 6 Measure and integration (28-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Number theory (11-XX) 5 Topological groups, Lie groups (22-XX) 4 Category theory; homological algebra (18-XX) 3 Algebraic geometry (14-XX) 3 Associative rings and algebras (16-XX) 2 General algebraic systems (08-XX) 2 Functional analysis (46-XX) 2 Algebraic topology (55-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 Convex and discrete geometry (52-XX)

### Citations contained in zbMATH Open

188 Publications have been cited 1,609 times in 1,245 Documents Cited by Year
Squares, scales and stationary reflection. Zbl 0988.03075
Cummings, James; Foreman, Matthew; Magidor, Menachem
2001
Countable Borel equivalence relations. Zbl 1008.03031
Jackson, S.; Kechris, A. S.; Louveau, A.
2002
Galois-stability for tame abstract elementary classes. Zbl 1107.03029
Grossberg, Rami; VanDieren, Monica
2006
Definably compact abelian groups. Zbl 1070.03025
Edmundo, Mário J.; Otero, Margarita
2004
Positive model theory and compact abstract theories. Zbl 1028.03034
Ben-Yaacov, Itay
2003
Set mapping reflection. Zbl 1082.03042
Moore, Justin Tatch
2005
Type-definability, compact Lie groups, and o-minimality. Zbl 1069.03029
Pillay, Anand
2004
A geometric introduction to forking and thorn-forking. Zbl 1211.03051
2009
Categoricity from one successor cardinal in tame abstract elementary classes. Zbl 1129.03019
Grossberg, Rami; VanDieren, Monica
2006
Simplicity in compact abstract theories. Zbl 1039.03032
Ben-Yaacov, Itay
2003
Suitable extender models. I. Zbl 1247.03110
Woodin, W. Hugh
2010
Characterization of $$\square_\kappa$$ in core models. Zbl 1095.03050
Schimmerling, Ernest; Zeman, Martin
2004
Relativizing Chaitin’s halting probability. Zbl 1093.03025
Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André
2005
Galois groups of first order theories. Zbl 0993.03048
Casanovas, E.; Lascar, D.; Pillay, A.; Ziegler, M.
2001
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
2013
On model-theoretic tree properties. Zbl 1402.03043
Chernikov, Artem; Ramsey, Nicholas
2016
Tameness and extending frames. Zbl 1338.03066
Boney, Will
2014
Aronszajn trees and failure of the singular cardinal hypothesis. Zbl 1204.03050
Neeman, Itay
2009
On notions of computability-theoretic reduction between $$\Pi_2^1$$ principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
2016
Definability of the jump operator in the enumeration degrees. Zbl 1049.03030
Kalimullin, I. Sh.
2003
$$b$$-minimality. Zbl 1146.03021
Cluckers, Raf; Loeser, François
2007
Mass problems and hyperarithmeticity. Zbl 1150.03013
Cole, Joshua A.; Simpson, Stephen G.
2007
Asymptotic density and computably enumerable sets. Zbl 1326.03048
Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E.
2013
Suitable extender models. II: Beyond $$\omega$$-huge. Zbl 1248.03069
Woodin, W. Hugh
2011
Model theory of fields with free operators in characteristic zero. Zbl 1338.03067
Moosa, Rahim; Scanlon, Thomas
2014
Indecomposable linear orderings and hyperarithmetic analysis. Zbl 1105.03061
Montalbán, Antonio
2006
Sheaf cohomology in o-minimal structures. Zbl 1120.03024
Edmundo, Mário J.; Jones, Gareth O.; Peatfield, Nicholas J.
2006
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
2017
On the mathematical and foundational significance of the uncountable. Zbl 1484.03018
Normann, Dag; Sanders, Sam
2019
Totally $$\omega$$-computably enumerable degrees and bounding critical triples. Zbl 1149.03032
Downey, Rod; Greenberg, Noam; Weber, Rebecca
2007
Constructing the hyperdefinable group from the group configuration. Zbl 1165.03333
de Piro, Tristram; Kim, Byunghan; Millar, Jessica
2006
Knight’s model, its automorphism group, and characterizing the uncountable cardinals. Zbl 1010.03036
Hjorth, Greg
2002
Isolating cardinal invariants. Zbl 1025.03046
Zapletal, Jindřich
2003
Semisimple torsion in groups of finite Morley rank. Zbl 1207.03043
Burdges, Jeffrey; Cherlin, Gregory
2009
A dichotomy for the number of ultrapowers. Zbl 1254.03068
Farah, Ilijas; Shelah, Saharon
2010
Interpreting groups and fields in some nonelementary classes. Zbl 1082.03033
Hyttinen, Tapani; Lessmann, Olivier; Shelah, Saharon
2005
On perturbations of continuous structures. Zbl 1191.03027
Ben Yaacov, Itaï
2008
The canonical topology on dp-minimal fields. Zbl 06996241
Johnson, Will
2018
The filter dichotomy and medial limits. Zbl 1207.03055
Larson, Paul B.
2009
Relative to any non-hyperarithmetic set. Zbl 1308.03050
Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A.
2013
Direct and local definitions of the Turing jump. Zbl 1150.03012
Shore, Richard A.
2007
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
2017
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
2017
On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034
Cholak, Peter A.; Harrington, Leo A.
2002
Constructing an almost hyperdefinable group. Zbl 1069.03023
Ben-Yaacov, Itay; Tomašić, Ivan; Wagner, Frank O.
2004
Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Zbl 1204.03056
Beckmann, Arnold; Buss, Samuel R.
2009
Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092
Sargsyan, Grigor
2014
The club guessing ideal: commentary on a theorem of Gitik and Shelah. Zbl 1081.03047
Foreman, Matthew; Komjath, Peter
2005
Continuous Ramsey theory on Polish spaces and covering the plane by functions. Zbl 1069.03039
Geschke, Stefan; Goldstern, Martin; Kojman, Menachem
2004
Reverse mathematics of MF spaces. Zbl 1122.03005
Mummert, Carl
2006
Expansions of algebraically closed fields. II: Functions of several variables. Zbl 1028.03033
Peterzil, Ya’acov; Starchenko, Sergei
2003
Conjugacy of Carter subgroups in groups of finite Morley rank. Zbl 1194.20033
Frécon, Olivier
2008
Continuous first order logic for unbounded metric structures. Zbl 1191.03026
Ben Yaacov, Itaï
2008
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
2014
Borel equivalence relations and Lascar strong types. Zbl 1326.03042
Krupiński, Krzysztof; Pillay, Anand; Solecki, Sławomir
2013
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
2017
Von Neumann coordinatization is not first-order. Zbl 1106.06002
Wehrung, Friedrich
2006
Parameter definability in the recursively enumerable degrees. Zbl 1025.03031
Nies, André
2003
Strongly meager sets do not form an ideal. Zbl 0980.03053
Bartoszynski, Tomek; Shelah, Saharon
2001
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
2015
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
2019
The Bristol model: an abyss called a Cohen real. Zbl 06996242
Karagila, Asaf
2018
Toward a stability theory of tame abstract elementary classes. Zbl 06996243
Vasey, Sebastien
2018
When cotorsion modules are pure injective. Zbl 1209.16002
Herzog, Ivo; Rothmaler, Philipp
2009
Interpretable groups are definable. Zbl 1337.03053
Eleftheriou, Pantelis E.; Peterzil, Ya’acov; Ramakrishnan, Janak
2014
The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079
van den Berg, Benno; Moerdijk, Ieke
2014
Applications of the group configuration theorem in simple theories. Zbl 1043.03030
Tomašić, Ivan; Wagner, Frank O.
2003
The $$\forall \exists$$ theory of Peano $$\Sigma_1$$ sentences. Zbl 1191.03005
Lindström, Per; Shavrukov, V. Yu.
2008
Optimal proofs of determinacy. II. Zbl 1018.03044
Neeman, Itay
2002
Pseudofinite structures and simplicity. Zbl 1337.03041
García, Darío; Macpherson, Dugald; Steinhorn, Charles
2015
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245
Dobrinen, Natasha
2016
Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno
2019
The classification problem for $$p$$-local torsion-free abelian groups of rank two. Zbl 1115.03062
Hjorth, Greg; Thomas, Simon
2006
How can we recognize potentially $$\boldsymbol\Pi^0_\xi$$ subsets of the plane? Zbl 1208.03050
Lecomte, Dominique
2009
Computable structures of rank $$\omega _1^{\mathrm{CK}}$$. Zbl 1258.03039
Knight, Julia F.; Millar, Jessica
2010
On the complexity of the successivity relation in computable linear orderings. Zbl 1256.03039
Downey, Rod; Lempp, Steffen; Wu, Guohua
2010
Tame failures of the unique branch hypothesis and models of $$\mathsf{AD}_{\mathbb{R}}+\Theta$$ is regular. Zbl 1432.03100
Sargsyan, Grigor; Trang, Nam
2016
Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027
Freund, Anton
2020
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086
Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh
2020
Nowhere precipitousness of the non-stationary ideal over $${\mathcal P}_\kappa\lambda$$. Zbl 1022.03028
Matsubara, Yo; Shelah, Saharon
2002
Internal approachability and reflection. Zbl 1183.03038
Krueger, John
2008
Uniformity, universality, and computability theory. Zbl 1420.03121
Marks, Andrew S.
2017
A generation theorem for groups of finite Morley rank. Zbl 1189.03043
Burdges, Jeffrey; Cherlin, Gregory
2008
Inverse limit reflection and the structure of $$L(V_{{\lambda}+1})$$. Zbl 1371.03070
Cramer, Scott S.
2015
On model-theoretic connected components in some group extensions. Zbl 1350.03032
Gismatullin, Jakub; Krupiński, Krzysztof
2015
There is no classification of the decidably presentable structures. Zbl 06996244
Harrison-Trainor, Matthew
2018
On linearly ordered structures of finite rank. Zbl 1210.03027
Onshuus, Alf; Steinhorn, Charles
2009
Thorn-forking as local forking. Zbl 1211.03052
2009
On extensions of embeddings into the enumeration degrees of the $${\Sigma_2^0}$$-sets. Zbl 1097.03036
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea
2005
Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046
Hamkins, Joel David
2013
Chain models, trees of singular cardinality and dynamic EF-games. Zbl 1260.03089
Džamonja, Mirna; Väänänen, Jouko
2011
On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094
Magidor, Menachem; Väänänen, Jouko
2011
Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021
Kreuzer, Alexander P.
2012
Treeable equivalence relations. Zbl 1278.03081
Hjorth, Greg
2012
The $$n$$-r.e. degrees: undecidability and $$\Sigma_1$$ substructures. Zbl 1253.03068
Cai, Mingzhong; Shore, Richard A.; Slaman, Theodore A.
2012
Bounding by canonical functions, with CH. Zbl 1042.03035
Larson, Paul; Shelah, Saharon
2003
Basis theorems for non-potentially closed sets and graphs of uncountable Borel chromatic number. Zbl 1191.03035
Lecomte, Dominique; Miller, Benjamin D.
2008
On function field Mordell-Lang and Manin-Mumford. Zbl 1415.03042
Benoist, Franck; Bouscaren, Elisabeth; Pillay, Anand
2016
An embedding theorem of $$\mathbb{E}_{0}$$ with model theoretic applications. Zbl 1338.03063
Kaplan, Itay; Miller, Benjamin D.
2014
The indiscernible topology: A mock Zariski topology. Zbl 0980.03041
Junker, Markus; Lascar, Daniel
2001
Turing degrees in Polish spaces and decomposability of Borel functions. Zbl 07355291
Gregoriades, Vassilios; Kihara, Takayuki; Ng, Keng Meng
2021
Knaster and friends II: the C-sequence number. Zbl 07355297
Lambie-Hanson, Chris; Rinot, Assaf
2021
From noncommutative diagrams to anti-elementary classes. Zbl 1474.18004
Wehrung, Friedrich
2021
Inner models from extended logics: part 1. Zbl 07410406
Kennedy, Juliette; Magidor, Menachem; Väänänen, Jouko
2021
Controlling cardinal characteristics without adding reals. Zbl 07419668
Goldstern, Martin; Kellner, Jakob; Mejía, Diego A.; Shelah, Saharon
2021
Metrically homogeneous graphs of diameter $$3$$. Zbl 1490.03020
Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald
2021
Tameness, powerful images, and large cardinals. Zbl 07355294
Boney, Will; Lieberman, Michael
2021
Bounds on Scott ranks of some Polish metric spaces. Zbl 07355296
Chan, William
2021
Model-theoretic Elekes-Szabó in the strongly minimal case. Zbl 07410398
Chernikov, Artem; Starchenko, Sergei
2021
Forcing axioms and coronas of $$\mathrm{C}^{\ast}$$-algebras. Zbl 1485.46068
McKenney, Paul; Vignati, Alessandro
2021
Generic derivations on o-minimal structures. Zbl 07410401
Fornasiero, Antongiulio; Kaplan, Elliot
2021
Pseudofinite groups and VC-dimension. Zbl 07410403
Conant, Gabriel; Pillay, Anand
2021
Interpolative fusions. Zbl 07410404
Kruckman, Alex; Tran, Chieu-Minh; Walsberg, Erik
2021
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. Zbl 07419664
2021
Generic expansions by a reduct. Zbl 07419666
d&rsquo;Elbée, Christian
2021
Canonical fragments of the strong reflection principle. Zbl 07419672
Fuchs, Gunter
2021
Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027
Freund, Anton
2020
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086
Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh
2020
Definable $$V$$-topologies, Henselianity and NIP. Zbl 1472.03035
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
2020
Recursive functions and existentially closed structures. Zbl 1484.03126
Jeřábek, Emil
2020
Model theory of Steiner triple systems. Zbl 1485.03082
Barbina, Silvia; Casanovas, Enrique
2020
The Ramsey theory of the universal homogeneous triangle-free graph. Zbl 1485.03185
Dobrinen, Natasha
2020
Coding in the automorphism group of a computably categorical structure. Zbl 1477.03147
Turetsky, Dan
2020
Logical laws for short existential monadic second-order sentences about graphs. Zbl 1485.03084
Zhukovskii, M. E.
2020
Weakly minimal groups with a new predicate. Zbl 1485.03093
2020
Galois groups as quotients of Polish groups. Zbl 1486.03061
Krupiński, Krzysztof; Rzepecki, Tomasz
2020
Uncountable structures are not classifiable up to bi-embeddability. Zbl 1485.03194
Calderoni, Filippo; Mildenberger, Heike; Motto Ros, Luca
2020
The special Aronszajn tree property. Zbl 1471.03074
2020
Exponential-constructible functions in $$P$$-minimal structures. Zbl 1472.14064
Chambille, Saskia; Cubides Kovacsics, Pablo; Leenknegt, Eva
2020
Every zero-dimensional homogeneous space is strongly homogeneous under determinacy. Zbl 1473.54037
Carroy, Raphaël; Medini, Andrea; Müller, Sandra
2020
Constructing sequences one step at a time. Zbl 1486.03024
Towsner, Henry
2020
On the mathematical and foundational significance of the uncountable. Zbl 1484.03018
Normann, Dag; Sanders, Sam
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
2019
Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno
2019
A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
2019
Ordinal definability and combinatorics of equivalence relations. Zbl 1477.03204
Chan, William
2019
Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 1477.03148
Chatzidakis, Zoé
2019
Boundedness and absoluteness of some dynamical invariants in model theory. Zbl 1477.03137
Krupiński, Krzysztof; Newelski, Ludomir; Simon, Pierre
2019
Diamonds, compactness, and measure sequences. Zbl 1484.03112
Ben-Neria, Omer
2019
Linear orders: when embeddability and epimorphism agree. Zbl 1484.03093
Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto
2019
The canonical topology on dp-minimal fields. Zbl 06996241
Johnson, Will
2018
The Bristol model: an abyss called a Cohen real. Zbl 06996242
Karagila, Asaf
2018
Toward a stability theory of tame abstract elementary classes. Zbl 06996243
Vasey, Sebastien
2018
There is no classification of the decidably presentable structures. Zbl 06996244
Harrison-Trainor, Matthew
2018
Existentially closed fields with finite group actions. Zbl 1406.03052
Hoffmann, Daniel M.; Kowalski, Piotr
2018
The linearity of the Mitchell order. Zbl 06887315
Goldberg, Gabriel
2018
Omitting types in logic of metric structures. Zbl 06996240
Farah, Ilijas; Magidor, Menachem
2018
Torsion-free abelian groups with optimal Scott families. Zbl 06887312
Melnikov, Alexander G.
2018
A long chain of P-points. Zbl 06887314
Kuzeljevic, Borisa; Raghavan, Dilip
2018
No Tukey reduction of Lebesgue null to Silver null sets. Zbl 06996245
Spinas, Otmar
2018
Randomized feasible interpolation and monotone circuits with a local oracle. Zbl 06996246
Krajíček, Jan
2018
Degrees containing members of thin $$\Pi_1^0$$ classes are dense and co-dense. Zbl 06887311
Downey, Rodney G.; Wu, Guohua; Yang, Yue
2018
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
2017
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
2017
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
2017
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
2017
Uniformity, universality, and computability theory. Zbl 1420.03121
Marks, Andrew S.
2017
Fraïssé’s conjecture in $$\Pi_1^1$$-comprehension. Zbl 1472.03066
Montalbán, Antonio
2017
A Friedberg enumeration of equivalence structures. Zbl 1423.03153
Downey, Rodney G.; Melnikov, Alexander G.; Ng, Keng Meng
2017
Exact saturation in simple and NIP theories. Zbl 1420.03066
Kaplan, Itay; Shelah, Saharon; Simon, Pierre
2017
Homogeneous changes in cofinalities with applications to HOD. Zbl 1423.03192
Ben-Neria, Omer; Unger, Spencer
2017
Corrigendum to: “On the complexity of the successivity relation in computable linear orderings”. Zbl 1375.03035
Downey, Rodney G.; Lempp, Steffen; Wu, Guohua
2017
On model-theoretic tree properties. Zbl 1402.03043
Chernikov, Artem; Ramsey, Nicholas
2016
On notions of computability-theoretic reduction between $$\Pi_2^1$$ principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
2016
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245
Dobrinen, Natasha
2016
Tame failures of the unique branch hypothesis and models of $$\mathsf{AD}_{\mathbb{R}}+\Theta$$ is regular. Zbl 1432.03100
Sargsyan, Grigor; Trang, Nam
2016
On function field Mordell-Lang and Manin-Mumford. Zbl 1415.03042
Benoist, Franck; Bouscaren, Elisabeth; Pillay, Anand
2016
On principles between $$\Sigma_1$$- and $$\Sigma_2$$-induction, and monotone enumerations. Zbl 1436.03303
Kreuzer, Alexander P.; Yokoyama, Keita
2016
Ramsey algebras. Zbl 1352.05020
Teh, Wen Chean
2016
On cuts in ultraproducts of linear orders. I. Zbl 1380.03036
2016
Mass problems and density. Zbl 1401.03075
Binns, Stephen; Shore, Richard A.; Simpson, Stephen G.
2016
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
2015
Pseudofinite structures and simplicity. Zbl 1337.03041
García, Darío; Macpherson, Dugald; Steinhorn, Charles
2015
Inverse limit reflection and the structure of $$L(V_{{\lambda}+1})$$. Zbl 1371.03070
Cramer, Scott S.
2015
On model-theoretic connected components in some group extensions. Zbl 1350.03032
Gismatullin, Jakub; Krupiński, Krzysztof
2015
On the existence of a strong minimal pair. Zbl 1386.03044
Barmpalias, George; Cai, Mingzhong; Lempp, Steffen; Slaman, Theodore A.
2015
Type-amalgamation properties and polygroupoids in stable theories. Zbl 1372.03062
Goodrick, John; Kim, Byunghan; Kolesnikov, Alexei
2015
Coherent adequate forcing and preserving CH. Zbl 1432.03097
Krueger, John; Mota, Miguel Angel
2015
Invariant types in NIP theories. Zbl 1370.03050
Simon, Pierre
2015
Tameness and extending frames. Zbl 1338.03066
Boney, Will
2014
Model theory of fields with free operators in characteristic zero. Zbl 1338.03067
Moosa, Rahim; Scanlon, Thomas
2014
Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092
Sargsyan, Grigor
2014
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
2014
Interpretable groups are definable. Zbl 1337.03053
Eleftheriou, Pantelis E.; Peterzil, Ya&rsquo;acov; Ramakrishnan, Janak
2014
The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079
van den Berg, Benno; Moerdijk, Ieke
2014
An embedding theorem of $$\mathbb{E}_{0}$$ with model theoretic applications. Zbl 1338.03063
Kaplan, Itay; Miller, Benjamin D.
2014
Ultrafilters in reverse mathematics. Zbl 1301.03018
Towsner, Henry
2014
Determinacy in $$L(\mathbb{R}, \mu)$$. Zbl 1338.03100
Trang, Nam
2014
Strict independence. Zbl 1338.03064
Kaplan, Itay; Usvyatsov, Alexander
2014
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
2013
Asymptotic density and computably enumerable sets. Zbl 1326.03048
Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E.
2013
Relative to any non-hyperarithmetic set. Zbl 1308.03050
Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A.
2013
Borel equivalence relations and Lascar strong types. Zbl 1326.03042
Krupiński, Krzysztof; Pillay, Anand; Solecki, Sławomir
2013
Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046
Hamkins, Joel David
2013
Rado’s conjecture implies that all stationary set preserving forcings are semiproper. Zbl 1300.03022
Doebler, Philipp
2013
Proof theory of weak compactness. Zbl 1291.03110
Arai, Toshiyasu
2013
Maximal compact subgroups in the o-minimal setting. Zbl 1295.03021
Conversano, Annalisa
2013
Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021
Kreuzer, Alexander P.
2012
Treeable equivalence relations. Zbl 1278.03081
Hjorth, Greg
2012
The $$n$$-r.e. degrees: undecidability and $$\Sigma_1$$ substructures. Zbl 1253.03068
Cai, Mingzhong; Shore, Richard A.; Slaman, Theodore A.
2012
...and 88 more Documents
all top 5

### Cited by 794 Authors

 27 Shelah, Saharon 25 Ben-Yaacov, Itaï 24 Vasey, Sebastien 20 Downey, Rodney Graham 19 Greenberg, Noam 19 Miller, Joseph S. 18 Nies, André Otfrid 18 Patey, Ludovic 17 Friedman, Sy-David 16 Kim, Byunghan 16 Pillay, Anand 16 Sargsyan, Grigor 16 Unger, Spencer T. 15 Cummings, James 15 Edmundo, Mário J. 15 Sinapova, Dima 15 Soskova, Mariya Ivanova 14 Krupiński, Krzysztof 13 Boney, Will 13 Magidor, Menachem 13 Neeman, Itay 13 Peterzil, Ya’acov 13 Rinot, Assaf 12 Apter, Arthur W. 12 Ganchev, Hristo A. 12 Hyttinen, Tapani 12 Lempp, Steffen 12 Sanders, Sam 12 Shore, Richard Arnold 11 Asperó, David 11 Barmpalias, George 11 Eleftheriou, Pantelis E. 11 Hayut, Yair 11 Matet, Pierre 11 Miller, Benjamin David 11 Thomas, Simon R. 10 Cai, Mingzhong 10 Conant, Gabriel 10 Foreman, Matthew D. 10 Lambie-Hanson, Chris 10 Ng, KengMeng 9 Baldwin, John T. 9 Grossberg, Rami P. 9 Harrison-Trainor, Matthew 9 Hjorth, Gregory 9 Kechris, Alexander S. 9 Larson, Paul B. 9 Schindler, Ralf-Dieter 9 Stephan, Frank 9 Trang, Nam 9 Wagner, Frank Olaf 8 Berarducci, Alessandro 8 Bienvenu, Laurent 8 Conley, Clinton Taylor 8 Dzhafarov, Damir D. 8 Geschke, Stefan 8 Gitik, Moti 8 Krueger, John 8 Lieberman, Michael Joseph 8 Prelli, Luca 8 Ramsey, Nicholas 8 Solomon, Reed 8 Zeman, Martin 7 Andrews, Uri 7 Berenstein, Alexander 7 Chernikov, Artem 7 Freund, Anton 7 Hamkins, Joel David 7 Hoffmann, Daniel Max 7 Hrushovski, Ehud 7 Kaplan, Itay 7 Kihara, Takayuki 7 Kolesnikov, Alexei S. 7 Melnikov, Alexander G. 7 Monin, Benoît 7 Müller, Sandra 7 Schimmerling, Ernest 7 Simpson, Stephen G. 7 Viale, Matteo 6 Cluckers, Raf 6 Deloro, Adrien 6 Dimonte, Vincenzo 6 Dobrowolski, Jan Cz. 6 Džamonja, Mirna 6 Frécon, Olivier 6 Goldbring, Isaac 6 Hirschfeldt, Denis Roman 6 Kalimullin, Iskander Shagitovich 6 Karagila, Asaf 6 Kojman, Menachem 6 Lecomte, Dominique 6 Marks, Andrew S. 6 Martin-Pizarro, Amador 6 Mazari-Armida, Marcos 6 Moore, Justin Tatch 6 Moosa, Rahim N. 6 Pinsker, Michael 6 Seward, Brandon 6 Steel, John R. 6 Usuba, Toshimichi ...and 694 more Authors
all top 5

### Cited in 133 Journals

 214 The Journal of Symbolic Logic 162 Annals of Pure and Applied Logic 100 Archive for Mathematical Logic 90 Journal of Mathematical Logic 72 Israel Journal of Mathematics 50 Transactions of the American Mathematical Society 41 Proceedings of the American Mathematical Society 38 Notre Dame Journal of Formal Logic 36 The Bulletin of Symbolic Logic 32 Mathematical Logic Quarterly (MLQ) 30 Advances in Mathematics 18 Journal of Algebra 15 Topology and its Applications 14 Fundamenta Mathematicae 14 Journal of the American Mathematical Society 13 Selecta Mathematica. New Series 11 Journal of the European Mathematical Society (JEMS) 11 Computability 8 Memoirs of the American Mathematical Society 8 Ergodic Theory and Dynamical Systems 7 Forum of Mathematics, Sigma 6 Algebra and Logic 6 Lobachevskii Journal of Mathematics 6 Journal of the Institute of Mathematics of Jussieu 5 Annales de l’Institut Fourier 5 Theoretical Computer Science 5 Russian Mathematics 5 Journal of Mathematical Sciences (New York) 5 The Review of Symbolic Logic 4 Inventiones Mathematicae 4 Journal of Pure and Applied Algebra 4 Monatshefte für Mathematik 4 Oberwolfach Reports 4 Groups, Geometry, and Dynamics 3 Communications in Algebra 3 Algebra Universalis 3 Mathematische Zeitschrift 3 Studia Logica 3 Theory of Computing Systems 3 Logica Universalis 3 Journal of Modern Dynamics 3 Logical Methods in Computer Science 3 Journal of Logic and Analysis 3 Forum of Mathematics, Pi 3 European Journal of Mathematics 3 Bollettino dell’Unione Matematica Italiana 2 Discrete Mathematics 2 Periodica Mathematica Hungarica 2 Acta Mathematica 2 Canadian Mathematical Bulletin 2 Colloquium Mathematicum 2 Journal of Combinatorial Theory. Series A 2 Journal of Functional Analysis 2 Journal of the London Mathematical Society. Second Series 2 Journal of the Mathematical Society of Japan 2 Journal of Philosophical Logic 2 Proceedings of the London Mathematical Society. Third Series 2 Results in Mathematics 2 SIAM Journal on Computing 2 Journal of Complexity 2 Information and Computation 2 Forum Mathematicum 2 Bulletin of the Polish Academy of Sciences, Mathematics 2 New Zealand Journal of Mathematics 2 Annals of Mathematics. Second Series 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Algebra & Number Theory 2 Confluentes Mathematici 2 Transactions of the American Mathematical Society. Series B 1 Archive for History of Exact Sciences 1 Discrete Applied Mathematics 1 Journal of Mathematical Analysis and Applications 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 The Annals of Probability 1 Bulletin of the London Mathematical Society 1 Canadian Journal of Mathematics 1 Dissertationes Mathematicae 1 Duke Mathematical Journal 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 Annalen 1 Mathematics of Operations Research 1 Michigan Mathematical Journal 1 Siberian Mathematical Journal 1 Synthese 1 Tôhoku Mathematical Journal. Second Series 1 Advances in Applied Mathematics 1 Statistics & Probability Letters 1 Acta Mathematica Hungarica 1 Journal of Automated Reasoning 1 International Journal of Mathematics 1 MSCS. Mathematical Structures in Computer Science 1 Siberian Advances in Mathematics 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 Journal de Mathématiques Pures et Appliquées. Neuvième Série 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Complexity 1 Applied Categorical Structures ...and 33 more Journals
all top 5

### Cited in 39 Fields

 1,146 Mathematical logic and foundations (03-XX) 100 Group theory and generalizations (20-XX) 78 Dynamical systems and ergodic theory (37-XX) 77 General topology (54-XX) 71 Combinatorics (05-XX) 68 Computer science (68-XX) 54 Field theory and polynomials (12-XX) 48 Topological groups, Lie groups (22-XX) 39 Measure and integration (28-XX) 35 Order, lattices, ordered algebraic structures (06-XX) 35 Algebraic geometry (14-XX) 34 Functional analysis (46-XX) 24 Category theory; homological algebra (18-XX) 21 Number theory (11-XX) 20 Associative rings and algebras (16-XX) 17 Algebraic topology (55-XX) 16 General and overarching topics; collections (00-XX) 13 Several complex variables and analytic spaces (32-XX) 11 Probability theory and stochastic processes (60-XX) 9 Commutative algebra (13-XX) 9 Real functions (26-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 General algebraic systems (08-XX) 8 Abstract harmonic analysis (43-XX) 6 Manifolds and cell complexes (57-XX) 4 History and biography (01-XX) 4 Operator theory (47-XX) 4 Convex and discrete geometry (52-XX) 3 Sequences, series, summability (40-XX) 3 Geometry (51-XX) 3 Differential geometry (53-XX) 2 Nonassociative rings and algebras (17-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 Approximations and expansions (41-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX)