VOL. 52 · NO. 3 | 2011
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 52 (3), (2011)
No abstract available
Articles
Stephen G. Simpson, Keita Yokoyama
Notre Dame J. Formal Logic 52 (3), 229-243, (2011) DOI: 10.1215/00294527-1435429
KEYWORDS: second-order arithmetic, nonstandard analysis, reverse mathematics, weak weak Koeonig's lemma, Martin-Loef random, 03F35, 26E35
Christopher Steinsvold
Notre Dame J. Formal Logic 52 (3), 245-253, (2011) DOI: 10.1215/00294527-1435438
KEYWORDS: modal logic, wrong, incorrect, false, belief, 03B42
Ali Bleybel
Notre Dame J. Formal Logic 52 (3), 255-265, (2011) DOI: 10.1215/00294527-1435447
KEYWORDS: O-minimality, exponential, analytic structure, 03C64
Alfred Dolich, John Goodrick, David Lippel
Notre Dame J. Formal Logic 52 (3), 267-288, (2011) DOI: 10.1215/00294527-1435456
KEYWORDS: independence property, dp-minimal, weakly o-minimal, p-adic field, 03C45, 03C64
Michael Moses
Notre Dame J. Formal Logic 52 (3), 289-305, (2011) DOI: 10.1215/00294527-1435465
KEYWORDS: computable linear order, block relation, self-embedding, 03D45, 03C57
Shimon Garti, Saharon Shelah
Notre Dame J. Formal Logic 52 (3), 307-314, (2011) DOI: 10.1215/00294527-1435474
KEYWORDS: Boolean algebras, depth, constructibility, 06E05, 03G05, 03E45
Ermek S. Nurkhaidarov, Erez Shochat
Notre Dame J. Formal Logic 52 (3), 315-329, (2011) DOI: 10.1215/00294527-1435483
KEYWORDS: saturation, bounded saturation, automorphism groups, models of PA, 03C62
Øystein Linnebo
Notre Dame J. Formal Logic 52 (3), 331-338, (2011) DOI: 10.1215/00294527-1435492
KEYWORDS: abstraction, bad company problem, conservativeness, unboundedness, stability, irenicity, 00A30, 03A05, 03C65
Back Matter
Notre Dame J. Formal Logic 52 (3), (2011)
No abstract available
Back to Top