VOL. 58 · NO. 1 | 2017
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 58 (1), (2017)
No abstract available
Articles
Hartry Field
Notre Dame J. Formal Logic 58 (1), 1-19, (2017) DOI: 10.1215/00294527-3699865
KEYWORDS: Curry paradox, substructural logic, validity, 03A99, 03B99, 03B47, 03F45
Guram Bezhanishvili, Nick Bezhanishvili
Notre Dame J. Formal Logic 58 (1), 21-45, (2017) DOI: 10.1215/00294527-3691563
KEYWORDS: superintuitionistic logic, axiomatization, filtration, finite model property, Heyting algebra, duality theory, 03B55, 06D20
Brice Halimi
Notre Dame J. Formal Logic 58 (1), 47-78, (2017) DOI: 10.1215/00294527-3716058
KEYWORDS: logical validity, Truth, informal rigour, Kreisel, Boolos, logical consequence of ZFC, models of set theory, modal logic, recursively saturated structures, 03C62, 03A05, 03C55, 03C70, 03B45
Osvaldo Guzmán, Michael Hrušák, Arturo Martínez-Celis
Notre Dame J. Formal Logic 58 (1), 79-95, (2017) DOI: 10.1215/00294527-3496040
KEYWORDS: Canjar filters, Mathias forcing, dominating reals, Mad families, 03E05, 03E17, 03E35
Howard Becker
Notre Dame J. Formal Logic 58 (1), 97-105, (2017) DOI: 10.1215/00294527-3767941
KEYWORDS: Scott rank, computable structures, axiom of determinacy, 03C57, 03D45, 03E60
Owen Griffiths
Notre Dame J. Formal Logic 58 (1), 107-113, (2017) DOI: 10.1215/00294527-3768059
KEYWORDS: inferentialism, quantifiers, logical constants, logical consequence, proof theory, 03B65, 03B10, 03B35
Wen Chean Teh
Notre Dame J. Formal Logic 58 (1), 115-125, (2017) DOI: 10.1215/00294527-3800648
KEYWORDS: Ramsey algebra, Hindman’s Theorem, orderly composition, orderly associative, prehomogeneous, 05A17, 03B80
Sebastien Vasey
Notre Dame J. Formal Logic 58 (1), 127-132, (2017) DOI: 10.1215/00294527-3800865
KEYWORDS: forking, Morley sequences, dual finite character, simple theories, 03C45, 03B30, 03E30
Will Boney
Notre Dame J. Formal Logic 58 (1), 133-154, (2017) DOI: 10.1215/00294527-3768177
KEYWORDS: abstract elementary classes, types, 03C48, 03C45
Notre Dame J. Formal Logic 58 (1), 155, (2017) DOI: 10.1215/00294527-3833032
No abstract available
Notre Dame J. Formal Logic 58 (1), 157, (2017) DOI: 10.1215/00294527-3784830
No abstract available
Back to Top