VOL. 48 · NO. 2 | 2007
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 48 (2), (2007)
No abstract available
Articles
Charles M. Harris
Notre Dame J. Formal Logic 48 (2), 175-204, (2007) DOI: 10.1305/ndjfl/1179323263
KEYWORDS: symmetric enumeration reducibility, symmetric enumeration degrees, 03D30
SANO Katsuhiko, SATO Kentaro
Notre Dame J. Formal Logic 48 (2), 205-228, (2007) DOI: 10.1305/ndjfl/1179323264
KEYWORDS: extended modal model theory, (modality for) irreflexivity, Goldblatt-Thomason theorem, characterization of modal definability, finite model property, finite frame property, 03B45, 03B44, 03C40
Eric J. Hall
Notre Dame J. Formal Logic 48 (2), 229-235, (2007) DOI: 10.1305/ndjfl/1179323265
KEYWORDS: axiom of choice, ZFA, permutation models, 03E25, 03E35, 03E40
Edwin D. Mares
Notre Dame J. Formal Logic 48 (2), 237-251, (2007) DOI: 10.1305/ndjfl/1179323266
KEYWORDS: Bertrand Russell, higher-order logic, logicism, 03B15, 03C85
Michael Rescorla
Notre Dame J. Formal Logic 48 (2), 253-280, (2007) DOI: 10.1305/ndjfl/1179323267
KEYWORDS: Church's Thesis, computation, acceptable notation, Turing machines, 00A30, 03A05, 03D10
Alfred Dolich
Notre Dame J. Formal Logic 48 (2), 281-292, (2007) DOI: 10.1305/ndjfl/1179323268
KEYWORDS: o-minimal, weakly o-minimal, 03C64, 03C52
Stephen Binns
Notre Dame J. Formal Logic 48 (2), 293-316, (2007) DOI: 10.1305/ndjfl/1179323269
KEYWORDS: Muchnik, Medvedev, hyperimmunity, 03D28
Back Matter
Notre Dame J. Formal Logic 48 (2), (2007)
No abstract available
Back to Top