VOL. 53 · NO. 2 | 2012
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 53 (2), (2012)
No abstract available
Articles
Thomas F. Icard, Joost J. Joosten
Notre Dame J. Formal Logic 53 (2), 133-154, (2012) DOI: 10.1215/00294527-1715653
KEYWORDS: provability logic, interpretability logic, restricted substitutions, GLP, ISigma1, PRA, 03F45, 03B45
Gunter Fuchs, Philipp Lücke
Notre Dame J. Formal Logic 53 (2), 155-174, (2012) DOI: 10.1215/00294527-1715662
KEYWORDS: automorphism tower, Forcing, maximality principle, 03E75, 03E40, 03E57, 20E36, 20F28
Michael A. Tychonievich
Notre Dame J. Formal Logic 53 (2), 175-186, (2012) DOI: 10.1215/00294527-1715671
KEYWORDS: o-minimal, exponents, definability, 03C64, 34A30
G. Aldo Antonelli
Notre Dame J. Formal Logic 53 (2), 187-192, (2012) DOI: 10.1215/00294527-1715680
KEYWORDS: arithmetic, induction, neologicism, 03A99
Isaac Goldbring
Notre Dame J. Formal Logic 53 (2), 193-201, (2012) DOI: 10.1215/00294527-1715689
KEYWORDS: Continuous logic, definable functions, ‎Hilbert spaces, 03C40, 47A05
Yoshihiro Horihata
Notre Dame J. Formal Logic 53 (2), 203-222, (2012) DOI: 10.1215/00294527-1715698
KEYWORDS: theory of concatenation, Robinson's arithmetic, interpretation, 03F25
José M. Méndez, Gemma Robles
Notre Dame J. Formal Logic 53 (2), 223-244, (2012) DOI: 10.1215/00294527-1715707
KEYWORDS: logical matrices, variable-sharing property, relevant logics, 03B47
Alexander P. Kreuzer
Notre Dame J. Formal Logic 53 (2), 245-265, (2012) DOI: 10.1215/00294527-1715716
KEYWORDS: proof mining, chain antichain principle, conservation, bar recursion, Erdos-Moser principle, 03F35, 03B30, 03F10
Back Matter
Notre Dame J. Formal Logic 53 (2), (2012)
No abstract available
Back to Top