×

zbMATH — the first resource for mathematics

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: 204 Publications (since 2001)
References Indexed: 203 Publications with 3,871 References.
all top 5

Authors

10 Shelah, Saharon
7 Downey, Rodney Graham
6 Ben-Yaacov, Itaï
6 Lempp, Steffen
5 Greenberg, Noam
5 Miller, Joseph S.
5 Neeman, Itay
5 Pillay, Anand
5 Slaman, Theodore A.
4 Gitik, Moti
4 Golshani, Mohammad
4 Hjorth, Gregory
4 Krupiński, Krzysztof
4 Magidor, Menachem
4 Nies, André Otfrid
4 Shore, Richard A.
4 Wagner, Frank Olaf
3 Cai, Mingzhong
3 Cherlin, Gregory L.
3 Friedman, Sy-David
3 Kaplan, Itay
3 Krueger, John
3 Miller, Benjamin David
3 Montalbán, Antonio
3 Ng, KengMeng
3 Peterzil, Ya’acov
3 Simon, Pierre
3 Woodin, W. Hugh
3 Wu, Guohua
3 Zapletal, Jindřich
3 Zou, Tingxiang
2 Adler, Hans
2 Baudisch, Andreas
2 Ben-Neria, Omer
2 Bienvenu, Laurent
2 Boney, Will
2 Burdges, Jeffrey
2 Carroy, Raphaël
2 Casanovas, Enrique
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 Grossberg, Rami P.
2 Hayut, Yair
2 Hirschfeldt, Denis Roman
2 Hyttinen, Tapani
2 Jockusch, Carl G. jun.
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 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 Steinhorn, Charles I.
2 Thomas, Simon R.
2 Tomašić, Ivan
2 Towsner, Henry
2 Trang, Nam
2 Väänänen, Jouko Antero
2 Van Dieren, Monica
2 Weber, Rebecca
2 Zeman, Martin
2 Ziegler, Martin
1 Amato, Daniela A.
1 Andretta, Alessandro
1 Andrews, Uri
1 Arai, Toshiyasu
1 Audrito, Giorgio
1 Avigad, Jeremy
1 Bagaria, Joan
1 Baldwin, John T.
1 Barbina, Silvia
1 Barmpalias, George
1 Baro, Elías
1 Barto, Libor
1 Bartoszynski, Tomek
1 Beckmann, Arnold
1 Benoist, Franck
1 Berarducci, Alessandro
1 Binns, Stephen
1 Blair, David G.
1 Blass, Andreas Raphael
1 Bouscaren, Elisabeth
1 Brattka, Vasco
...and 126 more Authors

Publications by Year

Citations contained in zbMATH Open

164 Publications have been cited 1,404 times in 1,092 Documents Cited by Year
Squares, scales and stationary reflection. Zbl 0988.03075
Cummings, James; Foreman, Matthew; Magidor, Menachem
105
2001
Countable Borel equivalence relations. Zbl 1008.03031
Jackson, S.; Kechris, A. S.; Louveau, A.
86
2002
Galois-stability for tame abstract elementary classes. Zbl 1107.03029
Grossberg, Rami; VanDieren, Monica
42
2006
Definably compact abelian groups. Zbl 1070.03025
Edmundo, Mário J.; Otero, Margarita
40
2004
Positive model theory and compact abstract theories. Zbl 1028.03034
Ben-Yaacov, Itay
36
2003
Set mapping reflection. Zbl 1082.03042
Moore, Justin Tatch
33
2005
Simplicity in compact abstract theories. Zbl 1039.03032
Ben-Yaacov, Itay
32
2003
Categoricity from one successor cardinal in tame abstract elementary classes. Zbl 1129.03019
Grossberg, Rami; VanDieren, Monica
32
2006
Suitable extender models. I. Zbl 1247.03110
Woodin, W. Hugh
32
2010
A geometric introduction to forking and thorn-forking. Zbl 1211.03051
Adler, Hans
31
2009
Type-definability, compact Lie groups, and o-minimality. Zbl 1069.03029
Pillay, Anand
31
2004
Relativizing Chaitin’s halting probability. Zbl 1093.03025
Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André
25
2005
Characterization of \(\square_\kappa\) in core models. Zbl 1095.03050
Schimmerling, Ernest; Zeman, Martin
24
2004
Galois groups of first order theories. Zbl 0993.03048
Casanovas, E.; Lascar, D.; Pillay, A.; Ziegler, M.
21
2001
Aronszajn trees and failure of the singular cardinal hypothesis. Zbl 1204.03050
Neeman, Itay
21
2009
On model-theoretic tree properties. Zbl 1402.03043
Chernikov, Artem; Ramsey, Nicholas
21
2016
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
21
2013
Tameness and extending frames. Zbl 1338.03066
Boney, Will
21
2014
Definability of the jump operator in the enumeration degrees. Zbl 1049.03030
Kalimullin, I. Sh.
18
2003
Mass problems and hyperarithmeticity. Zbl 1150.03013
Cole, Joshua A.; Simpson, Stephen G.
18
2007
Suitable extender models. II: Beyond \(\omega \)-huge. Zbl 1248.03069
Woodin, W. Hugh
17
2011
On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
17
2016
\(b\)-minimality. Zbl 1146.03021
Cluckers, Raf; Loeser, François
16
2007
Asymptotic density and computably enumerable sets. Zbl 1326.03048
Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E.
16
2013
Sheaf cohomology in o-minimal structures. Zbl 1120.03024
Edmundo, Mário J.; Jones, Gareth O.; Peatfield, Nicholas J.
14
2006
Constructing the hyperdefinable group from the group configuration. Zbl 1165.03333
de Piro, Tristram; Kim, Byunghan; Millar, Jessica
13
2006
Model theory of fields with free operators in characteristic zero. Zbl 1338.03067
Moosa, Rahim; Scanlon, Thomas
13
2014
Isolating cardinal invariants. Zbl 1025.03046
Zapletal, Jindřich
12
2003
Semisimple torsion in groups of finite Morley rank. Zbl 1207.03043
Burdges, Jeffrey; Cherlin, Gregory
12
2009
Indecomposable linear orderings and hyperarithmetic analysis. Zbl 1105.03061
Montalbán, Antonio
12
2006
Direct and local definitions of the Turing jump. Zbl 1150.03012
Shore, Richard A.
11
2007
The filter dichotomy and medial limits. Zbl 1207.03055
Larson, Paul B.
11
2009
A dichotomy for the number of ultrapowers. Zbl 1254.03068
Farah, Ilijas; Shelah, Saharon
11
2010
On perturbations of continuous structures. Zbl 1191.03027
Ben Yaacov, Itaï
11
2008
On the definability of the double jump in the computably enumerable sets. Zbl 1043.03034
Cholak, Peter A.; Harrington, Leo A.
10
2002
Knight’s model, its automorphism group, and characterizing the uncountable cardinals. Zbl 1010.03036
Hjorth, Greg
10
2002
Totally \(\omega\)-computably enumerable degrees and bounding critical triples. Zbl 1149.03032
Downey, Rod; Greenberg, Noam; Weber, Rebecca
10
2007
Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Zbl 1204.03056
Beckmann, Arnold; Buss, Samuel R.
10
2009
Interpreting groups and fields in some nonelementary classes. Zbl 1082.03033
Hyttinen, Tapani; Lessmann, Olivier; Shelah, Saharon
10
2005
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
10
2017
The canonical topology on dp-minimal fields. Zbl 06996241
Johnson, Will
9
2018
The club guessing ideal: commentary on a theorem of Gitik and Shelah. Zbl 1081.03047
Foreman, Matthew; Komjath, Peter
9
2005
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
9
2017
Relative to any non-hyperarithmetic set. Zbl 1308.03050
Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A.
9
2013
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
9
2017
Expansions of algebraically closed fields. II: Functions of several variables. Zbl 1028.03033
Peterzil, Ya’acov; Starchenko, Sergei
8
2003
Reverse mathematics of MF spaces. Zbl 1122.03005
Mummert, Carl
8
2006
Continuous first order logic for unbounded metric structures. Zbl 1191.03026
Ben Yaacov, Itaï
8
2008
Constructing an almost hyperdefinable group. Zbl 1069.03023
Ben-Yaacov, Itay; Tomašić, Ivan; Wagner, Frank O.
8
2004
Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092
Sargsyan, Grigor
8
2014
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
8
2014
Conjugacy of Carter subgroups in groups of finite Morley rank. Zbl 1194.20033
Frécon, Olivier
8
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
The Bristol model: an abyss called a Cohen reals. Zbl 06996242
Karagila, Asaf
7
2018
Continuous Ramsey theory on Polish spaces and covering the plane by functions. Zbl 1069.03039
Geschke, Stefan; Goldstern, Martin; Kojman, Menachem
7
2004
Borel equivalence relations and Lascar strong types. Zbl 1326.03042
Krupiński, Krzysztof; Pillay, Anand; Solecki, Sławomir
7
2013
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
7
2015
Interpretable groups are definable. Zbl 1337.03053
Eleftheriou, Pantelis E.; Peterzil, Ya’acov; Ramakrishnan, Janak
7
2014
The classification problem for \(p\)-local torsion-free abelian groups of rank two. Zbl 1115.03062
Hjorth, Greg; Thomas, Simon
6
2006
How can we recognize potentially \(\boldsymbol\Pi^0_\xi\) subsets of the plane? Zbl 1208.03050
Lecomte, Dominique
6
2009
When cotorsion modules are pure injective. Zbl 1209.16002
Herzog, Ivo; Rothmaler, Philipp
6
2009
Von Neumann coordinatization is not first-order. Zbl 1106.06002
Wehrung, Friedrich
6
2006
On the complexity of the successivity relation in computable linear orderings. Zbl 1256.03039
Downey, Rod; Lempp, Steffen; Wu, Guohua
6
2010
On the mathematical and foundational significance of the uncountable. Zbl 07077421
Normann, Dag; Sanders, Sam
6
2019
Toward a stability theory of tame abstract elementary classes. Zbl 06996243
Vasey, Sebastien
6
2018
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
6
2017
Optimal proofs of determinacy. II. Zbl 1018.03044
Neeman, Itay
5
2002
Nowhere precipitousness of the non-stationary ideal over \({\mathcal P}_\kappa\lambda\). Zbl 1022.03028
Matsubara, Yo; Shelah, Saharon
5
2002
Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021
Kreuzer, Alexander P.
5
2012
The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures. Zbl 1253.03068
Cai, Mingzhong; Shore, Richard A.; Slaman, Theodore A.
5
2012
On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea
5
2005
A generation theorem for groups of finite Morley rank. Zbl 1189.03043
Burdges, Jeffrey; Cherlin, Gregory
5
2008
The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences. Zbl 1191.03005
Lindström, Per; Shavrukov, V. Yu.
5
2008
Inverse limit reflection and the structure of \(L(V_{{\lambda}+1})\). Zbl 1371.03070
Cramer, Scott S.
5
2015
Pseudofinite structures and simplicity. Zbl 1337.03041
García, Darío; Macpherson, Dugald; Steinhorn, Charles
5
2015
The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079
van den Berg, Benno; Moerdijk, Ieke
5
2014
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245
Dobrinen, Natasha
5
2016
Hyperdefinable groups in simple theories. Zbl 0980.03040
Wagner, Frank
4
2001
Bounding by canonical functions, with CH. Zbl 1042.03035
Larson, Paul; Shelah, Saharon
4
2003
Applications of the group configuration theorem in simple theories. Zbl 1043.03030
Tomašić, Ivan; Wagner, Frank O.
4
2003
On simplicity of bounded pseudoalgebraically closed structures. Zbl 1142.03019
Polkowska, Nicholas Marie
4
2007
Thorn-forking as local forking. Zbl 1211.03052
Adler, Hans
4
2009
o-minimal cohomology: finiteness and invariance results. Zbl 1236.03030
Berarducci, Alessandro; Fornasiero, Antongiulio
4
2009
On linearly ordered structures of finite rank. Zbl 1210.03027
Onshuus, Alf; Steinhorn, Charles
4
2009
Treeable equivalence relations. Zbl 1278.03081
Hjorth, Greg
4
2012
Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular. Zbl 1432.03100
Sargsyan, Grigor; Trang, Nam
4
2016
Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures. Zbl 07138868
Barto, Libor; Kompatscher, Michael; Olšák, Miroslav; Pham, Trung Van; Pinsker, Michael
4
2019
No bound for the first fixed point. Zbl 1096.03061
Gitik, Moti
4
2005
Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039
Knight, Julia F.; Millar, Jessica
4
2010
An equiconsistency result on partial squares. Zbl 1258.03068
Krueger, John; Schimmerling, Ernest
4
2011
On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094
Magidor, Menachem; Väänänen, Jouko
4
2011
Basis theorems for non-potentially closed sets and graphs of uncountable Borel chromatic number. Zbl 1191.03035
Lecomte, Dominique; Miller, Benjamin D.
4
2008
There is no classification of the decidably presentable structures. Zbl 06996244
Harrison-Trainor, Matthew
4
2018
On model-theoretic connected components in some group extensions. Zbl 1350.03032
Gismatullin, Jakub; Krupiński, Krzysztof
4
2015
Ultrafilters in reverse mathematics. Zbl 1301.03018
Towsner, Henry
4
2014
Rado’s conjecture implies that all stationary set preserving forcings are semiproper. Zbl 1300.03022
Doebler, Philipp
4
2013
An embedding theorem of \(\mathbb{E}_{0}\) with model theoretic applications. Zbl 1338.03063
Kaplan, Itay; Miller, Benjamin D.
4
2014
On function field Mordell-Lang and Manin-Mumford. Zbl 1415.03042
Benoist, Franck; Bouscaren, Elisabeth; Pillay, Anand
4
2016
Internal approachability and reflection. Zbl 1183.03038
Krueger, John
4
2008
Knaster and friends II: the C-sequence number. Zbl 07355297
Lambie-Hanson, Chris; Rinot, Assaf
2
2021
Metrically homogeneous graphs of diameter \(3\). Zbl 07355290
Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald
1
2021
Tameness, powerful images, and large cardinals. Zbl 07355294
Boney, Will; Lieberman, Michael
1
2021
Recursive functions and existentially closed structures. Zbl 07215221
Jeřábek, Emil
3
2020
Computable aspects of the Bachmann-Howard principle. Zbl 1457.03027
Freund, Anton
3
2020
Coding in the automorphism group of a computably categorical structure. Zbl 07349732
Turetsky, Dan
2
2020
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. Zbl 07349929
Müller, Sandra; Schindler, Ralf; Woodin, W. Hugh
2
2020
The special Aronszajn tree property. Zbl 07215222
Golshani, Mohammad; Hayut, Yair
1
2020
Logical laws for short existential monadic second-order sentences about graphs. Zbl 07244014
Zhukovskii, M. E.
1
2020
Model theory of Steiner triple systems. Zbl 07244017
Barbina, Silvia; Casanovas, Enrique
1
2020
The Ramsey theory of the universal homogeneous triangle-free graph. Zbl 07244019
Dobrinen, Natasha
1
2020
On the mathematical and foundational significance of the uncountable. Zbl 07077421
Normann, Dag; Sanders, Sam
6
2019
Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures. Zbl 07138868
Barto, Libor; Kompatscher, Michael; Olšák, Miroslav; Pham, Trung Van; Pinsker, Michael
4
2019
Ordinal definability and combinatorics of equivalence relations. Zbl 07138867
Chan, William
2
2019
Connected choice and the Brouwer fixed point theorem. Zbl 07077424
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno
2
2019
Amalgamation of types in pseudo-algebraically closed fields and applications. Zbl 07138864
Chatzidakis, Zoé
1
2019
A model of second-order arithmetic satisfying AC but not DC. Zbl 07077420
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
1
2019
Linear orders: when embeddability and epimorphism agree. Zbl 07077423
Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto
1
2019
The canonical topology on dp-minimal fields. Zbl 06996241
Johnson, Will
9
2018
The Bristol model: an abyss called a Cohen reals. Zbl 06996242
Karagila, Asaf
7
2018
Toward a stability theory of tame abstract elementary classes. Zbl 06996243
Vasey, Sebastien
6
2018
There is no classification of the decidably presentable structures. Zbl 06996244
Harrison-Trainor, Matthew
4
2018
Existentially closed fields with finite group actions. Zbl 1406.03052
Hoffmann, Daniel M.; Kowalski, Piotr
3
2018
Omitting types in logic of metric structures. Zbl 06996240
Farah, Ilijas; Magidor, Menachem
3
2018
Torsion-free abelian groups with optimal Scott families. Zbl 06887312
Melnikov, Alexander G.
2
2018
A long chain of P-points. Zbl 06887314
Kuzeljevic, Borisa; Raghavan, Dilip
2
2018
The linearity of the Mitchell order. Zbl 06887315
Goldberg, Gabriel
2
2018
Randomized feasible interpolation and monotone circuits with a local oracle. Zbl 06996246
Krajíček, Jan
2
2018
The downward directed grounds hypothesis and very large cardinals. Zbl 1423.03191
Usuba, Toshimichi
10
2017
Simultaneous stationary reflection and square sequences. Zbl 1423.03164
Hayut, Yair; Lambie-Hanson, Chris
9
2017
Continuous higher randomness. Zbl 1420.03100
Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit
9
2017
Absoluteness via resurrection. Zbl 1423.03184
Audrito, Giorgio; Viale, Matteo
6
2017
Fraïssé’s conjecture in \(\prod_1^1\)-comprehension. Zbl 06815212
Montalbán, Antonio
3
2017
A Friedberg enumeration of equivalence structures. Zbl 1423.03153
Downey, Rodney G.; Melnikov, Alexander G.; Ng, Keng Meng
3
2017
Uniformity, universality, and computability theory. Zbl 1420.03121
Marks, Andrew S.
3
2017
Homogeneous changes in cofinalities with applications to HOD. Zbl 1423.03192
Ben-Neria, Omer; Unger, Spencer
2
2017
Exact saturation in simple and NIP theories. Zbl 1420.03066
Kaplan, Itay; Shelah, Saharon; Simon, Pierre
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
21
2016
On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. Zbl 1373.03068
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
17
2016
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems. Zbl 1436.03245
Dobrinen, Natasha
5
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
4
2016
On function field Mordell-Lang and Manin-Mumford. Zbl 1415.03042
Benoist, Franck; Bouscaren, Elisabeth; Pillay, Anand
4
2016
Ramsey algebras. Zbl 1352.05020
Teh, Wen Chean
2
2016
On cuts in ultraproducts of linear orders. I. Zbl 1380.03036
Golshani, Mohammad; Shelah, Saharon
2
2016
On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations. Zbl 1436.03303
Kreuzer, Alexander P.; Yokoyama, Keita
2
2016
Mass problems and density. Zbl 1401.03075
Binns, Stephen; Shore, Richard A.; Simpson, Stephen G.
1
2016
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
7
2015
Inverse limit reflection and the structure of \(L(V_{{\lambda}+1})\). Zbl 1371.03070
Cramer, Scott S.
5
2015
Pseudofinite structures and simplicity. Zbl 1337.03041
García, Darío; Macpherson, Dugald; Steinhorn, Charles
5
2015
On model-theoretic connected components in some group extensions. Zbl 1350.03032
Gismatullin, Jakub; Krupiński, Krzysztof
4
2015
Coherent adequate forcing and preserving CH. Zbl 1432.03097
Krueger, John; Mota, Miguel Angel
3
2015
On the existence of a strong minimal pair. Zbl 1386.03044
Barmpalias, George; Cai, Mingzhong; Lempp, Steffen; Slaman, Theodore A.
3
2015
Invariant types in NIP theories. Zbl 1370.03050
Simon, Pierre
2
2015
Type-amalgamation properties and polygroupoids in stable theories. Zbl 1372.03062
Goodrick, John; Kim, Byunghan; Kolesnikov, Alexei
2
2015
Tameness and extending frames. Zbl 1338.03066
Boney, Will
21
2014
Model theory of fields with free operators in characteristic zero. Zbl 1338.03067
Moosa, Rahim; Scanlon, Thomas
13
2014
Nontame mouse from the failure of square at a singular strong limit cardinal. Zbl 1338.03092
Sargsyan, Grigor
8
2014
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
8
2014
Interpretable groups are definable. Zbl 1337.03053
Eleftheriou, Pantelis E.; Peterzil, Ya’acov; Ramakrishnan, Janak
7
2014
The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079
van den Berg, Benno; Moerdijk, Ieke
5
2014
Ultrafilters in reverse mathematics. Zbl 1301.03018
Towsner, Henry
4
2014
An embedding theorem of \(\mathbb{E}_{0}\) with model theoretic applications. Zbl 1338.03063
Kaplan, Itay; Miller, Benjamin D.
4
2014
Determinacy in \(L(\mathbb{R}, \mu)\). Zbl 1338.03100
Trang, Nam
1
2014
Strict independence. Zbl 1338.03064
Kaplan, Itay; Usvyatsov, Alexander
1
2014
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
21
2013
Asymptotic density and computably enumerable sets. Zbl 1326.03048
Downey, Rodney G.; Jockusch, Carl G. jun.; Schupp, Paul E.
16
2013
Relative to any non-hyperarithmetic set. Zbl 1308.03050
Greenberg, Noam; Montalbán, Antonio; Slaman, Theodore A.
9
2013
Borel equivalence relations and Lascar strong types. Zbl 1326.03042
Krupiński, Krzysztof; Pillay, Anand; Solecki, Sławomir
7
2013
Rado’s conjecture implies that all stationary set preserving forcings are semiproper. Zbl 1300.03022
Doebler, Philipp
4
2013
Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046
Hamkins, Joel David
3
2013
Maximal compact subgroups in the o-minimal setting. Zbl 1295.03021
Conversano, Annalisa
3
2013
Proof theory of weak compactness. Zbl 1291.03110
Arai, Toshiyasu
2
2013
Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021
Kreuzer, Alexander P.
5
2012
The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures. Zbl 1253.03068
Cai, Mingzhong; Shore, Richard A.; Slaman, Theodore A.
5
2012
Treeable equivalence relations. Zbl 1278.03081
Hjorth, Greg
4
2012
Short extenders forcings. I. Zbl 1271.03066
Gitik, Moti
3
2012
The stability spectrum for classes of atomic models. Zbl 1255.03038
Baldwin, John T.; Shelah, Saharon
2
2012
Incomparable treeable equivalence relations. Zbl 1361.03046
Miller, Benjamin
1
2012
Suitable extender models. II: Beyond \(\omega \)-huge. Zbl 1248.03069
Woodin, W. Hugh
17
2011
An equiconsistency result on partial squares. Zbl 1258.03068
Krueger, John; Schimmerling, Ernest
4
2011
On Löwenheim-Skolem-Tarski numbers for extensions of first order logic. Zbl 1252.03094
Magidor, Menachem; Väänänen, Jouko
4
2011
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
3
2011
Chain models, trees of singular cardinality and dynamic EF-games. Zbl 1260.03089
Džamonja, Mirna; Väänänen, Jouko
3
2011
A strong law of computationally weak subsets. Zbl 1258.03051
Kjos-Hanssen, Bjørn
2
2011
Suitable extender models. I. Zbl 1247.03110
Woodin, W. Hugh
32
2010
A dichotomy for the number of ultrapowers. Zbl 1254.03068
Farah, Ilijas; Shelah, Saharon
11
2010
On the complexity of the successivity relation in computable linear orderings. Zbl 1256.03039
Downey, Rod; Lempp, Steffen; Wu, Guohua
6
2010
Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039
Knight, Julia F.; Millar, Jessica
4
2010
A 2-minimal non-\(\mathrm{GL}_{2}\) degree. Zbl 1258.03049
Cai, Mingzhong
2
2010
A geometric introduction to forking and thorn-forking. Zbl 1211.03051
Adler, Hans
31
2009
Aronszajn trees and failure of the singular cardinal hypothesis. Zbl 1204.03050
Neeman, Itay
21
2009
Semisimple torsion in groups of finite Morley rank. Zbl 1207.03043
Burdges, Jeffrey; Cherlin, Gregory
12
2009
The filter dichotomy and medial limits. Zbl 1207.03055
Larson, Paul B.
11
2009
Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic. Zbl 1204.03056
Beckmann, Arnold; Buss, Samuel R.
10
2009
How can we recognize potentially \(\boldsymbol\Pi^0_\xi\) subsets of the plane? Zbl 1208.03050
Lecomte, Dominique
6
2009
When cotorsion modules are pure injective. Zbl 1209.16002
Herzog, Ivo; Rothmaler, Philipp
6
2009
Thorn-forking as local forking. Zbl 1211.03052
Adler, Hans
4
2009
o-minimal cohomology: finiteness and invariance results. Zbl 1236.03030
Berarducci, Alessandro; Fornasiero, Antongiulio
4
2009
On linearly ordered structures of finite rank. Zbl 1210.03027
Onshuus, Alf; Steinhorn, Charles
4
2009
...and 64 more Documents
all top 5

Cited by 702 Authors

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

Cited in 114 Journals

184 The Journal of Symbolic Logic
155 Annals of Pure and Applied Logic
95 Archive for Mathematical Logic
75 Journal of Mathematical Logic
65 Israel Journal of Mathematics
46 Transactions of the American Mathematical Society
37 Proceedings of the American Mathematical Society
34 Notre Dame Journal of Formal Logic
32 Mathematical Logic Quarterly (MLQ)
31 The Bulletin of Symbolic Logic
26 Advances in Mathematics
18 Journal of Algebra
15 Topology and its Applications
14 Journal of the American Mathematical Society
11 Selecta Mathematica. New Series
10 Fundamenta Mathematicae
9 Journal of the European Mathematical Society (JEMS)
8 Computability
7 Ergodic Theory and Dynamical Systems
6 Memoirs of the American Mathematical Society
6 Forum of Mathematics, Sigma
5 Algebra and Logic
5 Journal of Mathematical Sciences (New York)
5 Lobachevskii Journal of Mathematics
5 Journal of the Institute of Mathematics of Jussieu
4 Annales de l’Institut Fourier
4 Inventiones Mathematicae
4 Russian Mathematics
3 Communications in Algebra
3 Algebra Universalis
3 Journal of Pure and Applied Algebra
3 Mathematische Zeitschrift
3 Monatshefte für Mathematik
3 Studia Logica
3 Theoretical Computer Science
3 Theory of Computing Systems
3 Oberwolfach Reports
3 Logica Universalis
3 Groups, Geometry, and Dynamics
3 Journal of Logic and Analysis
3 The Review of Symbolic Logic
3 European Journal of Mathematics
3 Bollettino dell’Unione Matematica Italiana
2 Discrete Mathematics
2 Acta Mathematica
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 Proceedings of the London Mathematical Society. Third Series
2 Results in Mathematics
2 Journal of Complexity
2 Bulletin of the Polish Academy of Sciences, Mathematics
2 Annals of Mathematics. Second Series
2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
2 Logical Methods in Computer Science
2 Algebra & Number Theory
2 Forum of Mathematics, Pi
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 Periodica Mathematica Hungarica
1 The Annals of Probability
1 Bulletin of the London Mathematical Society
1 Canadian Mathematical Bulletin
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Journal für die Reine und Angewandte Mathematik
1 Mathematische Annalen
1 Michigan Mathematical Journal
1 SIAM Journal on Computing
1 Tohoku Mathematical Journal. Second Series
1 Advances in Applied Mathematics
1 Acta Mathematica Hungarica
1 Information and Computation
1 Journal of Automated Reasoning
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
1 Topology Proceedings
1 Combinatorics, Probability and Computing
1 Annales Academiae Scientiarum Fennicae. Mathematica
1 Finance and Stochastics
1 Geometry & Topology
1 Journal of Group Theory
1 Mathematica Moravica
1 Revista Matemática Complutense
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Foundations of Science
1 Portugaliae Mathematica. Nova Série
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Central European Journal of Mathematics
1 Algebra and Discrete Mathematics
...and 14 more Journals
all top 5

Cited in 38 Fields

1,012 Mathematical logic and foundations (03-XX)
91 Group theory and generalizations (20-XX)
67 Dynamical systems and ergodic theory (37-XX)
67 General topology (54-XX)
61 Combinatorics (05-XX)
61 Computer science (68-XX)
43 Field theory and polynomials (12-XX)
38 Topological groups, Lie groups (22-XX)
35 Measure and integration (28-XX)
29 Functional analysis (46-XX)
28 Algebraic geometry (14-XX)
25 Order, lattices, ordered algebraic structures (06-XX)
17 Associative rings and algebras (16-XX)
17 Category theory; homological algebra (18-XX)
16 General and overarching topics; collections (00-XX)
16 Algebraic topology (55-XX)
13 Number theory (11-XX)
12 Several complex variables and analytic spaces (32-XX)
9 Real functions (26-XX)
9 Probability theory and stochastic processes (60-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Commutative algebra (13-XX)
6 Abstract harmonic analysis (43-XX)
6 Manifolds and cell complexes (57-XX)
4 History and biography (01-XX)
4 General algebraic systems (08-XX)
4 Convex and discrete geometry (52-XX)
3 Sequences, series, summability (40-XX)
3 Operator theory (47-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 Global analysis, analysis on manifolds (58-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Quantum theory (81-XX)
1 Systems theory; control (93-XX)

Citations by Year