VOL. 59 · NO. 4 | 2018
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 59 (4), (2018) Open Access
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