VOL. 54 · NO. 2 | 2013
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 54 (2), (2013)
No abstract available
Articles
Arthur W. Apter, Brent Cody
Notre Dame J. Formal Logic 54 (2), 125-136, (2013) DOI: 10.1215/00294527-1960434
KEYWORDS: supercompact cardinal, supercompact Prikry forcing, GCH, symmetric inner model, 03E25, 03E35, 03E45, 03E55
Sy-David Friedman, Tapani Hyttinen, Martin Koerwien
Notre Dame J. Formal Logic 54 (2), 137-151, (2013) DOI: 10.1215/00294527-1960443
KEYWORDS: Infinitary logic, absoluteness, abstract elementary classes, 03C48, 03C75
Michael J. Lieberman
Notre Dame J. Formal Logic 54 (2), 153-166, (2013) DOI: 10.1215/00294527-1960452
KEYWORDS: abstract elementary classes, Galois types, ‎rank‎, stability, 03C48, 03C45, 03C95
J. B. Nation
Notre Dame J. Formal Logic 54 (2), 167-175, (2013) DOI: 10.1215/00294527-1960470
KEYWORDS: Quasi-variety, quasi-equational theory, congruence lattice, semilattice, 08C15, 08B15, 03G10
Torsten Hahmann, Michael Grüninger
Notre Dame J. Formal Logic 54 (2), 177-214, (2013) DOI: 10.1215/00294527-1731344
KEYWORDS: mereotopology, contact algebras, spatial representability, Complementation, 68T27, 54H10, 06C15
Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore
Notre Dame J. Formal Logic 54 (2), 215-231, (2013) DOI: 10.1215/00294527-1960479
KEYWORDS: computability theory, computable structure theory, Turing degrees, isomorphisms, 03D45
Chris Conidis, Noam Greenberg, Daniel Turetsky
Notre Dame J. Formal Logic 54 (2), 233-252, (2013) DOI: 10.1215/00294527-1960488
KEYWORDS: open determinacy, hyperarithmetic comprehension, excluded middle, racing pawns, 03B30
Pietro Galliani
Notre Dame J. Formal Logic 54 (2), 253-275, (2013) DOI: 10.1215/00294527-1960506
KEYWORDS: dependence logic, independence logic, proof theory, 03B60, 03F03
Back to Top