VOL. 49 · NO. 4 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (4), (2008) Open Access
No abstract available
Articles
Erez Shochat
Notre Dame J. Formal Logic 49 (4), 345-360, (2008) DOI: 10.1215/00294527-2008-016 Open Access
KEYWORDS: short recursive saturation, recursive saturation, models of PA, automorphisms, 03C62
Jaime Bohórquez V.
Notre Dame J. Formal Logic 49 (4), 361-384, (2008) DOI: 10.1215/00294527-2008-017 Open Access
KEYWORDS: Intuitionistic logic, calculational style, equational deduction, 03F50, 03B20
Christopher Steinsvold
Notre Dame J. Formal Logic 49 (4), 385-392, (2008) DOI: 10.1215/00294527-2008-018 Open Access
KEYWORDS: epistemic logic, knowledge, ignorance, topology, border, 03B42, 54A99
Akito Tsuboi
Notre Dame J. Formal Logic 49 (4), 393-399, (2008) DOI: 10.1215/00294527-2008-019 Open Access
KEYWORDS: omitting types, Lopez-Escobar theorem, Morley's theorem, Hanf numbers, 03C50, 03C52
Zoran Majkić
Notre Dame J. Formal Logic 49 (4), 401-424, (2008) DOI: 10.1215/00294527-2008-020 Open Access
KEYWORDS: paraconsistent logic, many-valued logic, autoreferential Kripke semantics, 03B53
Victor Pambuccian
Notre Dame J. Formal Logic 49 (4), 425-429, (2008) DOI: 10.1215/00294527-2008-021 Open Access
KEYWORDS: Kaye's $\mathrm{PA]^{-}$, Kürschák's theorem, Nagell's theorem, weak arithmetic, 03C62, 03B30, 11A05
Philipp Gerhardy
Notre Dame J. Formal Logic 49 (4), 431-446, (2008) DOI: 10.1215/00294527-2008-022 Open Access
KEYWORDS: mathematical logic, proof mining, van der Waerden, combinatorics, topological dynamics, 03, 03F
Reviews
W. D. Hart
Notre Dame J. Formal Logic 49 (4), 447-451, (2008) DOI: 10.1215/00294527-2008-023 Open Access
KEYWORDS: irrealism, intuitionistic logi, logical empiricism, relevant logic, bivalence, knowability of truth, 03A05
No abstract available
Back Matter
Notre Dame J. Formal Logic 49 (4), (2008) Open Access
No abstract available
Back to Top