VOL. 59 · NO. 1 | 2018
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 59 (1), (2018)
No abstract available
Articles
Richard G. Heck Jr.
Notre Dame J. Formal Logic 59 (1), 1-33, (2018) DOI: 10.1215/00294527-2017-0011
KEYWORDS: Truth, compositionality, Tarski, deflationism, 03A05
Karen Lange, Russell Miller, Rebecca M. Steiner
Notre Dame J. Formal Logic 59 (1), 35-59, (2018) DOI: 10.1215/00294527-2017-0015
KEYWORDS: Friedberg enumeration, computable structure theory, equivalence structure, effective classification, 03C57, 03D45
Roy T. Cook, Øystein Linnebo
Notre Dame J. Formal Logic 59 (1), 61-74, (2018) DOI: 10.1215/00294527-2017-0012
KEYWORDS: logicism, abstraction, bad company, Hume’s Principle, 03A05, 00A30
Victor Pambuccian
Notre Dame J. Formal Logic 59 (1), 75-90, (2018) DOI: 10.1215/00294527-2017-0019
KEYWORDS: Steiner–Lehmus theorem, direct proof, indirect proof, sequent calculus, absolute geometry, 03F07, 03B30, 51F05
David R. Belanger, Richard A. Shore
Notre Dame J. Formal Logic 59 (1), 91-107, (2018) DOI: 10.1215/00294527-2017-0014
KEYWORDS: r.e. degrees, Turing jump, rigidity problem, 03D25, 03D28
Denis Bonnay, Fredrik Engström
Notre Dame J. Formal Logic 59 (1), 109-133, (2018) DOI: 10.1215/00294527-2017-0020
KEYWORDS: generalized quantifiers, infinite languages, Invariance, definability, automorphism groups, equality-free languages, 03A99, 03C75, 03C80
Notre Dame J. Formal Logic 59 (1), 135-138, (2018) DOI: 10.1215/00294527-2017-0031
No abstract available
Back to Top