VOL. 58 · NO. 4 | 2017
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 58 (4), (2017)
No abstract available
Articles
Hartry Field, Harvey Lederman, Tore Fjetland Øgaard
Notre Dame J. Formal Logic 58 (4), 461-506, (2017) DOI: 10.1215/00294527-2017-0010
KEYWORDS: naive class theory, naive comprehension, extensionality axiom, nonclassical logic, 3E70
Alexander G. Melnikov
Notre Dame J. Formal Logic 58 (4), 507-525, (2017) DOI: 10.1215/00294527-2017-0006
KEYWORDS: Abelian groups, degree spectra, computable structures, 03D45, 03C57, 20K20
Tim Button
Notre Dame J. Formal Logic 58 (4), 527-553, (2017) DOI: 10.1215/00294527-2017-0007
KEYWORDS: identity of indiscernibles, grades of indiscernibility, grades of symmetry, grades of relativity, equality-free model theory, identity-free model theory, 00A30, 03C40, 03C99
Gabriel Conant
Notre Dame J. Formal Logic 58 (4), 555-566, (2017) DOI: 10.1215/00294527-2017-0016
KEYWORDS: forking and dividing, Henson graphs, TP2, 03C45, 03C68
Peter Schroeder-Heister, Luca Tranchini
Notre Dame J. Formal Logic 58 (4), 567-581, (2017) DOI: 10.1215/00294527-2017-0017
KEYWORDS: paradoxes, Russell’s paradox, normalization, general proof theory, identity of proofs, 03F05, 03A05, 00A30
Back to Top