×

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: 268 Publications (since 2001)
References Indexed: 267 Publications with 5,462 References.
all top 5

Authors

13 Shelah, Saharon
7 Downey, Rodney Graham
7 Pillay, Anand
6 Ben-Yaacov, Itaï
6 Lempp, Steffen
6 Neeman, Itay
5 Greenberg, Noam
5 Kaplan, Itay
5 Krupiński, Krzysztof
5 Magidor, Menachem
5 Miller, Benjamin David
5 Miller, Joseph S.
5 Nies, André Otfrid
5 Slaman, Theodore A.
4 Gitik, Moti
4 Goldberg, Gabriel
4 Golshani, Mohammad
4 Hjorth, Gregory
4 Ng, KengMeng
4 Shore, Richard Arnold
4 Wagner, Frank Olaf
3 Ben-Neria, Omer
3 Cai, Mingzhong
3 Carroy, Raphaël
3 Cherlin, Gregory L.
3 Chernikov, Artem
3 Dobrinen, Natasha L.
3 Friedman, Sy-David
3 Hirschfeldt, Denis Roman
3 Hoffmann, Daniel Max
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 Zapletal, Jindřich
3 Zou, Tingxiang
2 Adler, Hans
2 Andrews, Uri
2 Baldwin, John T.
2 Baudisch, Andreas
2 Bienvenu, Laurent
2 Boney, Will
2 Burdges, Jeffrey
2 Casanovas, Enrique
2 Conant, Gabriel
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 Foreman, Matthew D.
2 Fornasiero, Antongiulio
2 Goldstern, Martin Robert
2 Grossberg, Rami P.
2 Harrison-Trainor, Matthew
2 Hayut, Yair
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 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 Motto Ros, Luca
2 Müller, Sandra
2 Pakhomov, Fedor N.
2 Rinot, Assaf
2 Sargsyan, Grigor
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 Van Dieren, Monica
2 Viale, Matteo
2 Weber, Rebecca
...and 203 more Authors

Publications by Year

Citations contained in zbMATH Open

227 Publications have been cited 2,048 times in 1,547 Documents Cited by Year
Squares, scales and stationary reflection. Zbl 0988.03075
Cummings, James; Foreman, Matthew; Magidor, Menachem
128
2001
Countable Borel equivalence relations. Zbl 1008.03031
Jackson, S.; Kechris, A. S.; Louveau, A.
109
2002
Galois-stability for tame abstract elementary classes. Zbl 1107.03029
Grossberg, Rami; VanDieren, Monica
49
2006
Suitable extender models. I. Zbl 1247.03110
Woodin, W. Hugh
44
2010
Positive model theory and compact abstract theories. Zbl 1028.03034
Ben-Yaacov, Itay
43
2003
Definably compact abelian groups. Zbl 1070.03025
Edmundo, Mário J.; Otero, Margarita
41
2004
Set mapping reflection. Zbl 1082.03042
Moore, Justin Tatch
40
2005
A geometric introduction to forking and thorn-forking. Zbl 1211.03051
Adler, Hans
40
2009
Categoricity from one successor cardinal in tame abstract elementary classes. Zbl 1129.03019
Grossberg, Rami; VanDieren, Monica
39
2006
Type-definability, compact Lie groups, and o-minimality. Zbl 1069.03029
Pillay, Anand
38
2004
Simplicity in compact abstract theories. Zbl 1039.03032
Ben-Yaacov, Itay
36
2003
On model-theoretic tree properties. Zbl 1402.03043
Chernikov, Artem; Ramsey, Nicholas
36
2016
Relativizing Chaitin’s halting probability. Zbl 1093.03025
Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André
30
2005
Galois groups of first order theories. Zbl 0993.03048
Casanovas, E.; Lascar, D.; Pillay, A.; Ziegler, M.
27
2001
Characterization of \(\square_\kappa\) in core models. Zbl 1095.03050
Schimmerling, Ernest; Zeman, Martin
26
2004
Tameness and extending frames. Zbl 1338.03066
Boney, Will
25
2014
On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
25
2016
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
25
2013
Suitable extender models. II: Beyond \(\omega \)-huge. Zbl 1248.03069
Woodin, W. Hugh
24
2011
Aronszajn trees and failure of the singular cardinal hypothesis. Zbl 1204.03050
Neeman, Itay
24
2009
On the mathematical and foundational significance of the uncountable. Zbl 1484.03018
Normann, Dag; Sanders, Sam
24
2019
Model theory of fields with free operators in characteristic zero. Zbl 1338.03067
Moosa, Rahim; Scanlon, Thomas
23
2014
Definability of the jump operator in the enumeration degrees. Zbl 1049.03030
Kalimullin, I. Sh.
22
2003
\(b\)-minimality. Zbl 1146.03021
Cluckers, Raf; Loeser, François
22
2007
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
19
2017
Asymptotic density and computably enumerable sets. Zbl 1326.03048
Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E.
19
2013
The canonical topology on dp-minimal fields. Zbl 1522.03115
Johnson, Will
19
2018
Indecomposable linear orderings and hyperarithmetic analysis. Zbl 1105.03061
Montalbán, Antonio
18
2006
Mass problems and hyperarithmeticity. Zbl 1150.03013
Cole, Joshua A.; Simpson, Stephen G.
18
2007
Sheaf cohomology in o-minimal structures. Zbl 1120.03024
Edmundo, Mário J.; Jones, Gareth O.; Peatfield, Nicholas J.
16
2006
Knight’s model, its automorphism group, and characterizing the uncountable cardinals. Zbl 1010.03036
Hjorth, Greg
16
2002
On perturbations of continuous structures. Zbl 1191.03027
Ben Yaacov, Itaï
15
2008
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
15
2017
Totally \(\omega\)-computably enumerable degrees and bounding critical triples. Zbl 1149.03032
Downey, Rod; Greenberg, Noam; Weber, Rebecca
15
2007
Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027
Freund, Anton
14
2020
Semisimple torsion in groups of finite Morley rank. Zbl 1207.03043
Burdges, Jeffrey; Cherlin, Gregory
14
2009
Constructing the hyperdefinable group from the group configuration. Zbl 1165.03333
de Piro, Tristram; Kim, Byunghan; Millar, Jessica
13
2006
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
Relative to any non-hyperarithmetic set. Zbl 1308.03050
Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A.
13
2013
Reverse mathematics of MF spaces. Zbl 1122.03005
Mummert, Carl
12
2006
Isolating cardinal invariants. Zbl 1025.03046
Zapletal, Jindřich
12
2003
The Ramsey theory of the universal homogeneous triangle-free graph. Zbl 1485.03185
Dobrinen, Natasha
12
2020
Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Zbl 1204.03056
Beckmann, Arnold; Buss, Samuel R.
12
2009
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ï
11
2008
Continuous Ramsey theory on Polish spaces and covering the plane by functions. Zbl 1069.03039
Geschke, Stefan; Goldstern, Martin; Kojman, Menachem
11
2004
Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092
Sargsyan, Grigor
11
2014
Direct and local definitions of the Turing jump. Zbl 1150.03012
Shore, Richard A.
11
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
11
2019
The Bristol model: an abyss called a Cohen real. Zbl 1522.03215
Karagila, Asaf
11
2018
The club guessing ideal: commentary on a theorem of Gitik and Shelah. Zbl 1081.03047
Foreman, Matthew; Komjath, Peter
10
2005
On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034
Cholak, Peter A.; Harrington, Leo A.
10
2002
Constructing an almost hyperdefinable group. Zbl 1069.03023
Ben-Yaacov, Itay; Tomašić, Ivan; Wagner, Frank O.
10
2004
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
10
2017
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
10
2017
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086
Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh
10
2020
Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno
10
2019
Conjugacy of Carter subgroups in groups of finite Morley rank. Zbl 1194.20033
Frécon, Olivier
9
2008
Interpretable groups are definable. Zbl 1337.03053
Eleftheriou, Pantelis E.; Peterzil, Ya’acov; Ramakrishnan, Janak
9
2014
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
9
2014
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
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
9
2015
Expansions of algebraically closed fields. II: Functions of several variables. Zbl 1028.03033
Peterzil, Ya’acov; Starchenko, Sergei
9
2003
Inverse limit reflection and the structure of \(L(V_{{\lambda}+1})\). Zbl 1371.03070
Cramer, Scott S.
9
2015
Toward a stability theory of tame abstract elementary classes. Zbl 1522.03121
Vasey, Sebastien
9
2018
Von Neumann coordinatization is not first-order. Zbl 1106.06002
Wehrung, Friedrich
8
2006
The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079
van den Berg, Benno; Moerdijk, Ieke
8
2014
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
Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 1477.03148
Chatzidakis, Zoé
8
2019
When cotorsion modules are pure injective. Zbl 1209.16002
Herzog, Ivo; Rothmaler, Philipp
8
2009
Knaster and friends II: the C-sequence number. Zbl 07355297
Lambie-Hanson, Chris; Rinot, Assaf
8
2021
Existentially closed fields with finite group actions. Zbl 1406.03052
Hoffmann, Daniel M.; Kowalski, Piotr
8
2018
A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
8
2019
On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094
Magidor, Menachem; Väänänen, Jouko
7
2011
Strongly meager sets do not form an ideal. Zbl 0980.03053
Bartoszynski, Tomek; Shelah, Saharon
7
2001
Optimal proofs of determinacy. II. Zbl 1018.03044
Neeman, Itay
7
2002
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245
Dobrinen, Natasha
7
2016
Parameter definability in the recursively enumerable degrees. Zbl 1025.03031
Nies, André
7
2003
Pseudofinite structures and simplicity. Zbl 1337.03041
García, Darío; Macpherson, Dugald; Steinhorn, Charles
7
2015
Definable \(V\)-topologies, Henselianity and NIP. Zbl 1472.03035
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
7
2020
How can we recognize potentially \(\boldsymbol\Pi^0_\xi\) subsets of the plane? Zbl 1208.03050
Lecomte, Dominique
7
2009
Generic derivations on o-minimal structures. Zbl 07410401
Fornasiero, Antongiulio; Kaplan, Elliot
7
2021
Diamonds, compactness, and measure sequences. Zbl 1484.03112
Ben-Neria, Omer
7
2019
The classification problem for \(p\)-local torsion-free abelian groups of rank two. Zbl 1115.03062
Hjorth, Greg; Thomas, Simon
6
2006
Treeable equivalence relations. Zbl 1278.03081
Hjorth, Greg
6
2012
The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures. Zbl 1253.03068
Cai, Mingzhong; Shore, Richard A.; Slaman, Theodore A.
6
2012
Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039
Knight, Julia F.; Millar, Jessica
6
2010
On the complexity of the successivity relation in computable linear orderings. Zbl 1256.03039
Downey, Rod; Lempp, Steffen; Wu, Guohua
6
2010
The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences. Zbl 1191.03005
Lindström, Per; Shavrukov, V. Yu.
6
2008
Internal approachability and reflection. Zbl 1183.03038
Krueger, John
6
2008
Bounding by canonical functions, with CH. Zbl 1042.03035
Larson, Paul; Shelah, Saharon
6
2003
Applications of the group configuration theorem in simple theories. Zbl 1043.03030
Tomašić, Ivan; Wagner, Frank O.
6
2003
On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea
6
2005
Homogeneous changes in cofinalities with applications to HOD. Zbl 1423.03192
Ben-Neria, Omer; Unger, Spencer
6
2017
Invariant types in NIP theories. Zbl 1370.03050
Simon, Pierre
6
2015
On simplicity of bounded pseudoalgebraically closed structures. Zbl 1142.03019
Polkowska, Nicholas Marie
6
2007
Nowhere precipitousness of the non-stationary ideal over \({\mathcal P}_\kappa\lambda\). Zbl 1022.03028
Matsubara, Yo; Shelah, Saharon
6
2002
Generic expansions by a reduct. Zbl 07419666
d’Elbée, Christian
6
2021
Hindman’s theorem in the hierarchy of choice principles. Zbl 07797270
Fernández-Bretón, David
1
2024
Reducing \(\omega\)-model reflection to iterated syntactic reflection. Zbl 07681050
Pakhomov, Fedor; Walsh, James
4
2023
The two halves of disjunctive correctness. Zbl 1523.03031
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz
3
2023
The Ramsey theory of Henson graphs. Zbl 1512.05286
Dobrinen, Natasha
3
2023
Co-theory of sorted profinite groups for PAC structures. Zbl 07712962
Hoffmann, Daniel Max; Lee, Junguk
2
2023
Compactness versus hugeness at successor cardinals. Zbl 07677885
Cox, Sean; Eskew, Monroe
2
2023
Compactness and guessing principles in the Radin extensions. Zbl 07681054
Ben-Neria, Omer; Zhang, Jing
1
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
More definable combinatorics around the first and second uncountable cardinals. Zbl 07712961
Chan, William; Jackson, Stephen; Trang, Nam
1
2023
The degree of nonminimality is at most 2. Zbl 07712963
Freitag, James; Jaoui, Rémi; Moosa, Rahim
1
2023
Corrigendum to: “Reducing \(\omega\)-model reflection to iterated syntactic reflection”. Zbl 07712964
Pakhomov, Fedor; Walsh, James
1
2023
Complexity of distances: theory of generalized analytic equivalence relations. Zbl 07677884
Cúth, Marek; Doucha, Michal; Kurka, Ondřej
1
2023
Maximal almost disjoint families, determinacy, and forcing. Zbl 1521.03137
Haga, Karen Bakke; Schrittesser, David; Törnquist, Asger
3
2022
Sigma-Prikry forcing. II: Iteration scheme. Zbl 07632517
Poveda, Alejandro; Rinot, Assaf; Sinapova, Dima
3
2022
Structural reflection, shrewd cardinals and the size of the continuum. Zbl 1510.03021
Lücke, Philipp
3
2022
Abraham-Rubin-Shelah open colorings and a large continuum. Zbl 07544297
Gilton, Thomas; Neeman, Itay
2
2022
Forcing the \({\Sigma}_3^1\)-separation property. Zbl 07566939
Hoffelner, Stefan
2
2022
The large cardinal strength of weak Vopenka’s principle. Zbl 07544294
Wilson, Trevor M.
1
2022
Forking and dividing in fields with several orderings and valuations. Zbl 1506.03086
Johnson, Will
1
2022
The domination monoid in o-minimal theories. Zbl 1509.03105
Mennuni, Rosario
1
2022
Reduction games, provability and compactness. Zbl 07632518
Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Reitzes, Sarah
1
2022
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. Zbl 07632520
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
1
2022
New jump operators on equivalence relations. Zbl 07632521
Clemens, John D.; Coskey, Samuel
1
2022
Knaster and friends II: the C-sequence number. Zbl 07355297
Lambie-Hanson, Chris; Rinot, Assaf
8
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
6
2021
Turing degrees in Polish spaces and decomposability of Borel functions. Zbl 07355291
Gregoriades, Vassilios; Kihara, Takayuki; Ng, Keng Meng
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
Model-theoretic Elekes-Szabó in the strongly minimal case. Zbl 07410398
Chernikov, Artem; Starchenko, Sergei
5
2021
Controlling cardinal characteristics without adding reals. Zbl 07419668
Goldstern, Martin; Kellner, Jakob; Mejía, Diego A.; Shelah, Saharon
4
2021
From noncommutative diagrams to anti-elementary classes. Zbl 1474.18004
Wehrung, Friedrich
4
2021
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. Zbl 07419664
Enayat, Ali; Kanovei, Vladimir
3
2021
Metrically homogeneous graphs of diameter \(3\). Zbl 1490.03020
Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald
3
2021
Pseudofinite groups and VC-dimension. Zbl 07410403
Conant, Gabriel; Pillay, Anand
3
2021
Canonical fragments of the strong reflection principle. Zbl 07419672
Fuchs, Gunter
2
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
Iterability for (transfinite) stacks. Zbl 07410402
Schlutzenberg, Farmer
2
2021
Interpolative fusions. Zbl 07410404
Kruckman, Alex; Tran, Chieu-Minh; Walsberg, Erik
2
2021
The weakness of the pigeonhole principle under hyperarithmetical reductions. Zbl 1515.03058
Monin, Benoit; Patey, Ludovic
1
2021
Answer to a question of Rosłanowski and Shelah. Zbl 07419671
Poór, Márk
1
2021
Pseudofinite difference fields and counting dimensions. Zbl 07355292
Zou, Tingxiang
1
2021
Tameness, powerful images, and large cardinals. Zbl 07355294
Boney, Will; Lieberman, Michael
1
2021
Bounds on Scott ranks of some Polish metric spaces. Zbl 07355296
Chan, William
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
12
2020
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 1486.03086
Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh
10
2020
Definable \(V\)-topologies, Henselianity and NIP. Zbl 1472.03035
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska
7
2020
Model theory of Steiner triple systems. Zbl 1485.03082
Barbina, Silvia; Casanovas, Enrique
6
2020
Recursive functions and existentially closed structures. Zbl 1484.03126
Jeřábek, Emil
5
2020
The special Aronszajn tree property. Zbl 1471.03074
Golshani, Mohammad; Hayut, Yair
3
2020
Logical laws for short existential monadic second-order sentences about graphs. Zbl 1485.03084
Zhukovskii, M. E.
3
2020
Every zero-dimensional homogeneous space is strongly homogeneous under determinacy. Zbl 1473.54037
Carroy, Raphaël; Medini, Andrea; Müller, Sandra
3
2020
Coding in the automorphism group of a computably categorical structure. Zbl 1477.03147
Turetsky, Dan
3
2020
The consistency strength of hyperstationarity. Zbl 1485.03208
Bagaria, Joan; Magidor, Menachem; Mancilla, Salvador
2
2020
Weakly minimal groups with a new predicate. Zbl 1485.03093
Conant, Gabriel; Laskowski, Michael C.
2
2020
Galois groups as quotients of Polish groups. Zbl 1486.03061
Krupiński, Krzysztof; Rzepecki, Tomasz
2
2020
Uncountable structures are not classifiable up to bi-embeddability. Zbl 1485.03194
Calderoni, Filippo; Mildenberger, Heike; Motto Ros, Luca
2
2020
Exponential-constructible functions in \(P\)-minimal structures. Zbl 1472.14064
Chambille, Saskia; Cubides Kovacsics, Pablo; Leenknegt, Eva
1
2020
Extender-based forcings with overlapping extenders and negations of the Shelah weak hypothesis. Zbl 1486.03083
Gitik, Moti
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
On the mathematical and foundational significance of the uncountable. Zbl 1484.03018
Normann, Dag; Sanders, Sam
24
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
11
2019
Connected choice and the Brouwer fixed point theorem. Zbl 1484.03130
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno
10
2019
Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 1477.03148
Chatzidakis, Zoé
8
2019
A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
8
2019
Diamonds, compactness, and measure sequences. Zbl 1484.03112
Ben-Neria, Omer
7
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
2
2019
Hypergraphs and proper forcing. Zbl 1477.03190
Zapletal, Jindřich
1
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
The canonical topology on dp-minimal fields. Zbl 1522.03115
Johnson, Will
19
2018
The Bristol model: an abyss called a Cohen real. Zbl 1522.03215
Karagila, Asaf
11
2018
Toward a stability theory of tame abstract elementary classes. Zbl 1522.03121
Vasey, Sebastien
9
2018
Existentially closed fields with finite group actions. Zbl 1406.03052
Hoffmann, Daniel M.; Kowalski, Piotr
8
2018
The linearity of the Mitchell order. Zbl 1521.03193
Goldberg, Gabriel
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
A long chain of P-points. Zbl 1522.03228
Kuzeljevic, Borisa; Raghavan, Dilip
5
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
2
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
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
19
2017
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
15
2017
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
10
2017
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
10
2017
Homogeneous changes in cofinalities with applications to HOD. Zbl 1423.03192
Ben-Neria, Omer; Unger, Spencer
6
2017
Exact saturation in simple and NIP theories. Zbl 1420.03066
Kaplan, Itay; Shelah, Saharon; Simon, Pierre
5
2017
Uniformity, universality, and computability theory. Zbl 1420.03121
Marks, Andrew S.
5
2017
Fraïssé’s conjecture in \(\Pi_1^1\)-comprehension. Zbl 1472.03066
Montalbán, Antonio
4
2017
A Friedberg enumeration of equivalence structures. Zbl 1423.03153
Downey, Rodney G.; Melnikov, Alexander G.; Ng, Keng Meng
4
2017
On definable Galois groups and the strong canonical base property. Zbl 1420.03068
Palacín, Daniel; Pillay, Anand
2
2017
Corrigendum to: “On the complexity of the successivity relation in computable linear orderings”. Zbl 1375.03035
Downey, Rodney G.; Lempp, Steffen; Wu, Guohua
1
2017
On model-theoretic tree properties. Zbl 1402.03043
Chernikov, Artem; Ramsey, Nicholas
36
2016
On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
25
2016
...and 127 more Documents
all top 5

Cited by 913 Authors

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

Cited in 147 Journals

244 The Journal of Symbolic Logic
203 Annals of Pure and Applied Logic
117 Archive for Mathematical Logic
103 Journal of Mathematical Logic
76 Israel Journal of Mathematics
73 Mathematical Logic Quarterly (MLQ)
55 Transactions of the American Mathematical Society
47 Proceedings of the American Mathematical Society
43 Notre Dame Journal of Formal Logic
41 The Bulletin of Symbolic Logic
37 Advances in Mathematics
22 Fundamenta Mathematicae
22 Journal of Algebra
20 Topology and its Applications
15 Selecta Mathematica. New Series
14 Journal of the American Mathematical Society
14 Forum of Mathematics, Sigma
13 Journal of the European Mathematical Society (JEMS)
13 Computability
9 Journal of the London Mathematical Society. Second Series
9 Memoirs of the American Mathematical Society
9 Oberwolfach Reports
8 Ergodic Theory and Dynamical Systems
8 Journal of the Institute of Mathematics of Jussieu
7 Bulletin of the London Mathematical Society
7 Theoretical Computer Science
7 The Review of Symbolic Logic
6 Algebra and Logic
6 Journal of Mathematical Sciences (New York)
6 Lobachevskii Journal of Mathematics
6 Groups, Geometry, and Dynamics
5 Algebra Universalis
5 Annales de l’Institut Fourier
5 Inventiones Mathematicae
5 Journal of Pure and Applied Algebra
5 Russian Mathematics
5 Bollettino dell’Unione Matematica Italiana
5 Model Theory
4 Canadian Journal of Mathematics
4 Monatshefte für Mathematik
4 Journal of Modern Dynamics
4 Algebra & Number Theory
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 Journal of the Mathematical Society of Japan
3 Mathematische Zeitschrift
3 Proceedings of the London Mathematical Society. Third Series
3 Results in Mathematics
3 Studia Logica
3 Information and Computation
3 Theory of Computing Systems
3 Annals of Mathematics. Second Series
3 Logica Universalis
3 Logical Methods in Computer Science
3 Confluentes Mathematici
3 Journal of Logic and Analysis
3 Forum of Mathematics, Pi
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 Duke Mathematical Journal
2 Journal of Combinatorial Theory. Series A
2 Journal of Functional Analysis
2 Journal of Philosophical Logic
2 Mathematische Annalen
2 Pacific Journal of Mathematics
2 SIAM Journal on Computing
2 Acta Mathematica Hungarica
2 Journal of Complexity
2 Journal of Automated Reasoning
2 Forum Mathematicum
2 International Journal of Mathematics
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
1 Archive for History of Exact Sciences
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Mathematische Semesterberichte
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 Mathematics of Operations Research
1 Michigan Mathematical Journal
1 Siberian Mathematical Journal
1 Synthese
1 Tôhoku Mathematical Journal. Second Series
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Statistics & Probability Letters
1 Combinatorica
...and 47 more Journals
all top 5

Cited in 43 Fields

1,434 Mathematical logic and foundations (03-XX)
113 Group theory and generalizations (20-XX)
97 Combinatorics (05-XX)
91 General topology (54-XX)
89 Dynamical systems and ergodic theory (37-XX)
82 Field theory and polynomials (12-XX)
74 Computer science (68-XX)
53 Order, lattices, ordered algebraic structures (06-XX)
51 Topological groups, Lie groups (22-XX)
46 Algebraic geometry (14-XX)
43 Functional analysis (46-XX)
41 Measure and integration (28-XX)
34 Category theory; homological algebra (18-XX)
32 Number theory (11-XX)
24 General and overarching topics; collections (00-XX)
23 Associative rings and algebras (16-XX)
18 Algebraic topology (55-XX)
16 Several complex variables and analytic spaces (32-XX)
13 Probability theory and stochastic processes (60-XX)
12 Commutative algebra (13-XX)
10 General algebraic systems (08-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Real functions (26-XX)
9 Abstract harmonic analysis (43-XX)
7 Convex and discrete geometry (52-XX)
7 Manifolds and cell complexes (57-XX)
6 Operator theory (47-XX)
5 History and biography (01-XX)
4 Geometry (51-XX)
3 Sequences, series, summability (40-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 \(K\)-theory (19-XX)
1 Potential theory (31-XX)
1 Ordinary differential equations (34-XX)
1 Approximations and expansions (41-XX)
1 Quantum theory (81-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year