Recent Developments in Model Theory
VOL. 54 · NO. 3-4 | 2013
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 54 (3-4), (2013)
No abstract available
Articles
Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa, Sergei Starchenko
Notre Dame J. Formal Logic 54 (3-4), 277, (2013) DOI: 10.1215/00294527-2143880
No abstract available
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Notre Dame J. Formal Logic 54 (3-4), 279-310, (2013) DOI: 10.1215/00294527-2143898
KEYWORDS: transseries, Hardy fields, differential fields, model completeness, NIP, 03C10, 03C64, 26A12, 16W60
Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson, Sergei Starchenko
Notre Dame J. Formal Logic 54 (3-4), 311-363, (2013) DOI: 10.1215/00294527-2143862
KEYWORDS: theories without the independence property, Vapnik–Chervonenkis density, finite cover property, modules, Abelian groups, 03C45, 52C45, 03C60, 03G10
D. Bertrand
Notre Dame J. Formal Logic 54 (3-4), 365-375, (2013) DOI: 10.1215/00294527-2143907
KEYWORDS: semiabelian varieties, mixed Shimura varieties, Manin–Mumford, André–Oort and Zilber–Pink conjectures, 11G18, 14K12
Jean-Benoît Bost
Notre Dame J. Formal Logic 54 (3-4), 377-434, (2013) DOI: 10.1215/00294527-2143961
KEYWORDS: algebraization, transcendence, D-group schemes, abelian schemes, 11G35, 11J81, 11J85, 12H05, 14B20, 14F40
Gareth Boxall, David Bradley-Williams, Charlotte Kestner, Alexandra Omar Aziz, Davide Penazzi
Notre Dame J. Formal Logic 54 (3-4), 435-448, (2013) DOI: 10.1215/00294527-2143934
KEYWORDS: stability theory, thorn-forking, independence, one-based, geometric theory, local modularity, 03C45, 03C10, 03C95
Pantelis E. Eleftheriou, Ya’acov Peterzil
Notre Dame J. Formal Logic 54 (3-4), 449-461, (2013) DOI: 10.1215/00294527-2143889
KEYWORDS: O-minimality, locally definable groups, lattices, generic sets, 03C64, 03C68, 22B99
Ehud Hrushovski
Notre Dame J. Formal Logic 54 (3-4), 463-495, (2013) DOI: 10.1215/00294527-2143952
KEYWORDS: pseudo-finite, dimensions, stability, 03C13, 03C45, 11P99
Byunghan Kim
Notre Dame J. Formal Logic 54 (3-4), 497-507, (2013) DOI: 10.1215/00294527-2143916
KEYWORDS: Lascar group, strong type, Lascar type, hyperimaginary, 03C43, 54H11
Jonathan Kirby
Notre Dame J. Formal Logic 54 (3-4), 509-520, (2013) DOI: 10.1215/00294527-2143844
KEYWORDS: pseudo-exponentiation, exponential fields, Schanuel property, first-order theory, abstract elementary class, 03C65, 03C48
Larsen Louder, Chloé Perin, Rizos Sklinos
Notre Dame J. Formal Logic 54 (3-4), 521-539, (2013) DOI: 10.1215/00294527-2143988
KEYWORDS: free group, hyperbolic towers, stable groups, generic type, homogeneity, 20F67, 03C45
D. Palacín, F. O. Wagner
Notre Dame J. Formal Logic 54 (3-4), 541-551, (2013) DOI: 10.1215/00294527-2143970
KEYWORDS: simple, CM-trivial, hyperimaginaries, stable forking, 03C45
Jonathan Pila
Notre Dame J. Formal Logic 54 (3-4), 553-565, (2013) DOI: 10.1215/00294527-2143853
KEYWORDS: modular function, Ax–Schanuel, o-minimal structure, 11J91, 03C64
Anand Pillay
Notre Dame J. Formal Logic 54 (3-4), 567-578, (2013) DOI: 10.1215/00294527-2143871
KEYWORDS: NIP, generic stability, Keisler measure, weight, 03C45, 03C68, 28A60
Damian Rössler
Notre Dame J. Formal Logic 54 (3-4), 579-589, (2013) DOI: 10.1215/00294527-2143943
KEYWORDS: abelian variety, inseparable, torsion point, function field, positive, 14K15, 14E08, 12F15
Ahuva C. Shkop
Notre Dame J. Formal Logic 54 (3-4), 591-601, (2013) DOI: 10.1215/00294527-2143925
KEYWORDS: pseudo-exponential, exponential algebra, real closed exponential fields, Schanuel’s conjecture, 03C60
A. J. Wilkie
Notre Dame J. Formal Logic 54 (3-4), 603-610, (2013) DOI: 10.1215/00294527-2143979
KEYWORDS: O-minimality, analytic continuation, definable functions, 03C64, 30B40
Back to Top