VOL. 59 · NO. 4 | 2018
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 59 (4), (2018)
No abstract available
Articles
Liliana Badillo, Charles M. Harris, Mariya I. Soskova
Notre Dame J. Formal Logic 59 (4), 461-489, (2018) DOI: 10.1215/00294527-2018-0008
KEYWORDS: enumeration, reducibility, degrees, genericity, 03D30, 03D28
James H. Schmerl
Notre Dame J. Formal Logic 59 (4), 491-496, (2018) DOI: 10.1215/00294527-2018-0009
KEYWORDS: Peano Arithmetic, Thin Set Theorem, automorphisms, arithmetic saturation, 03H15, 03C62
Enrique Casanovas, Joris Potier
Notre Dame J. Formal Logic 59 (4), 497-502, (2018) DOI: 10.1215/00294527-2018-0010
KEYWORDS: imaginaries, stable forking, 03C45
Yannis Stephanou
Notre Dame J. Formal Logic 59 (4), 503-545, (2018) DOI: 10.1215/00294527-2018-0013
KEYWORDS: liar paradox, theories of truth, nonclassical propositional logics, 03B20, 03B50, 03B80, 03A99
Allen P. Hazen, Francis Jeffry Pelletier
Notre Dame J. Formal Logic 59 (4), 547-558, (2018) DOI: 10.1215/00294527-2018-0011
KEYWORDS: logic of paradox, second-order logic, Graham Priest, identity, 03B53, 03C85, 03B50, 03E70
Neil Tennant
Notre Dame J. Formal Logic 59 (4), 559-578, (2018) DOI: 10.1215/00294527-2018-0014
KEYWORDS: transitivity, natural deduction, synonymy, interdeducibility, deduction theorem, cut, methodological adequacy, 03B20, 03B47, 03B53
Sam Sanders
Notre Dame J. Formal Logic 59 (4), 579-597, (2018) DOI: 10.1215/00294527-2018-0015
KEYWORDS: higher-order reverse mathematics, reverse mathematics zoo, nonstandard analysis, 03B30, 03F35, 26E35
Farmer Schlutzenberg
Notre Dame J. Formal Logic 59 (4), 599-604, (2018) DOI: 10.1215/00294527-2018-0012
KEYWORDS: inner model, ordinal definable, Comparison, 03E45
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
Notre Dame J. Formal Logic 59 (4), 605-636, (2018) DOI: 10.1215/00294527-2018-0016
KEYWORDS: Computable analysis, Weihrauch lattice, Baire category, genericity, reverse mathematics, 03F60
Back to Top