VOL. 52 · NO. 4 | 2011
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 52 (4), (2011)
No abstract available
Articles
Tommaso Cortonesi, Enrico Marchioni, Franco Montagna
Notre Dame J. Formal Logic 52 (4), 339-379, (2011) DOI: 10.1215/00294527-1499336
KEYWORDS: BL-algebras, quantifier elimination, model-completeness, amalgamation property, 03B50, 03C60
Heike Mildenberger
Notre Dame J. Formal Logic 52 (4), 381-394, (2011) DOI: 10.1215/00294527-1499345
KEYWORDS: Milliken-Taylor ultrafilters, P-points, near coherence classes of ultrafilters, Forcing, preserving ultrafilters, 03E05, 03E17, 03E35
Sy-David Friedman, Martin Koerwien
Notre Dame J. Formal Logic 52 (4), 395-402, (2011) DOI: 10.1215/00294527-1499354
KEYWORDS: abstract elementary classes, categoricity, Forcing, absoluteness, 03C35, 03C52, 03E35
Ronald F. Bustamante Medina
Notre Dame J. Formal Logic 52 (4), 403-414, (2011) DOI: 10.1215/00294527-1499363
KEYWORDS: model theory of fields, supersimple theories, difference-differential fields, definable sets, 11U09, 12H05, 12H10
Joël Combase
Notre Dame J. Formal Logic 52 (4), 415-429, (2011) DOI: 10.1215/00294527-1499372
KEYWORDS: stability, Borel models, saturated models, perfect independent sets, 03C45, 03C50
Jaap van Oosten
Notre Dame J. Formal Logic 52 (4), 431-448, (2011) DOI: 10.1215/00294527-1499381
KEYWORDS: sequential function, partial combinatory algebra, preorder enriched category, 03B40, 68N18
Back Matter
Notre Dame J. Formal Logic 52 (4), (2011)
No abstract available
Back to Top