VOL. 58 · NO. 4 | 2017
Notre Dame J. Formal Logic 58 (4), (2017) Open Access
No abstract available
Hartry Field, Harvey Lederman, Tore Fjetland Øgaard
Notre Dame J. Formal Logic 58 (4), 461-506, (2017) DOI: 10.1215/00294527-2017-0010 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
KEYWORDS: paradoxes, Russell’s paradox, normalization, general proof theory, identity of proofs, 03F05, 03A05, 00A30
Back to Top