VOL. 49 · NO. 4 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (4), (2008)
No abstract available
Articles
Erez Shochat
Notre Dame J. Formal Logic 49 (4), 345-360, (2008) DOI: 10.1215/00294527-2008-016
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
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
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
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
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
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
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
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)
No abstract available
Back to Top