- Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.details
|
|
An AEC framework for fields with commuting automorphisms.Tapani Hyttinen & Kaisa Kangas - 2023 - Archive for Mathematical Logic 62 (7):1001-1032.details
|
|
Axiomatizing AECs and applications.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (5):103248.details
|
|
Co-theory of sorted profinite groups for PAC structures.Daniel Max Hoffmann & Junguk Lee - 2023 - Journal of Mathematical Logic 23 (3).details
|
|
Hanf number of the first stability cardinal in AECs.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (2):103201.details
|
|
The Dividing Line Methodology: Model Theory Motivating Set Theory.John T. Baldwin - 2021 - Theoria 87 (2):361-393.details
|
|
Categoricity and universal classes.Tapani Hyttinen & Kaisa Kangas - 2018 - Mathematical Logic Quarterly 64 (6):464-477.details
|
|
A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.details
|
|
Reducts of structures and maximal-closed permutation groups.Manuel Bodirsky & Dugald Macpherson - 2016 - Journal of Symbolic Logic 81 (3):1087-1114.details
|
|
Reduction of database independence to dividing in atomless Boolean algebras.Tapani Hyttinen & Gianluca Paolini - 2016 - Archive for Mathematical Logic 55 (3-4):505-518.details
|
|
Subsets of superstable structures are weakly benign.Bektur Baizhanov, John T. Baldwin & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (1):142-150.details
|
|
Local homogeneity.Bektur Baizhanov & John T. Baldwin - 2004 - Journal of Symbolic Logic 69 (4):1243-1260.details
|
|
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.details
|
|
Downward categoricity from a successor inside a good frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.details
|
|
The number of pairwise non-elementarily-embeddable models.Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (4):1431-1455.details
|
|
A proof of morley's conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.details
|
|
Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):197-205.details
|
|
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.details
|
|
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.details
|
|
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.details
|
|
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension.Vincent Guingona & Cameron Donnay Hill - 2015 - Annals of Pure and Applied Logic 166 (4):502-525.details
|
|
Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.details
|
|
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.details
|
|
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.details
|
|
The model theory of unitriangular groups.Oleg V. Belegradek - 1994 - Annals of Pure and Applied Logic 68 (3):225-261.details
|
|
Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.details
|
|
Fundamentals of forking.Victor Harnik & Leo Harrington - 1984 - Annals of Pure and Applied Logic 26 (3):245-286.details
|
|
Some coinductive graphs.A. H. Lachlan - 1990 - Archive for Mathematical Logic 29 (4):213-229.details
|
|
On VC-minimal theories and variants.Vincent Guingona & Michael C. Laskowski - 2013 - Archive for Mathematical Logic 52 (7-8):743-758.details
|
|
On locally modular, weakly minimal theories.James Loveys - 1993 - Archive for Mathematical Logic 32 (3):173-194.details
|
|
Classification theory for abelian groups with an endomorphism.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1991 - Archive for Mathematical Logic 31 (2):95-104.details
|
|
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.details
|
|
Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.details
|
|
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.details
|
|
Generic variations of models of T.Andreas Baudisch - 2002 - Journal of Symbolic Logic 67 (3):1025-1038.details
|
|
On uniqueness of prime models.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (2):215-220.details
|
|
Categoricity and ranks.Jürgen Saffe - 1984 - Journal of Symbolic Logic 49 (4):1379-1392.details
|
|
Sous-groupes définissables d'un groupe stable.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (1):137-146.details
|
|
Théories instables.Bruno Poizat - 1981 - Journal of Symbolic Logic 46 (3):513-522.details
|
|
A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.details
|
|
Countable structures of given age.H. D. Macpherson, M. Pouzet & R. E. Woodrow - 1992 - Journal of Symbolic Logic 57 (3):992-1010.details
|
|
Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanović - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.details
|
|
Les automorphismes d'un ensemble fortement minimal.Daniel Lascar - 1992 - Journal of Symbolic Logic 57 (1):238-251.details
|
|
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.details
|
|
On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.details
|
|
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.details
|
|
Definability in functional analysis.José Iovino - 1997 - Journal of Symbolic Logic 62 (2):493-505.details
|
|
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.details
|
|
Indiscernible sequences in a model which fails to have the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):115-123.details
|
|
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.details
|
|