VOL. 58 · NO. 2 | 2017
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 58 (2), (2017)
No abstract available
Articles
Saharon Shelah
Notre Dame J. Formal Logic 58 (2), 159-177, (2017) DOI: 10.1215/00294527-3800985
KEYWORDS: model theory, universal models, Classification theory, the oak property, groups, Abelian groups, 03C45, 03C55
Ruggero Pagnan
Notre Dame J. Formal Logic 58 (2), 179-204, (2017) DOI: 10.1215/00294527-3817788
KEYWORDS: concrete fibration, Isbell condition, 18A15, 18A05, 18B99
Patrick Reeder
Notre Dame J. Formal Logic 58 (2), 205-214, (2017) DOI: 10.1215/00294527-3839208
KEYWORDS: nilpotent infinitesimals, nonstandard analysis, 26E35, 13J25, 03H10
Achilles Beros, Konstantinos Beros
Notre Dame J. Formal Logic 58 (2), 215-220, (2017) DOI: 10.1215/00294527-2017-0004
KEYWORDS: computability theory, recursion theory, Turing degrees, number theory, Normal numbers, Cantor series expansions, basic series, 03D28, 03D80
Thomas Macaulay Ferguson
Notre Dame J. Formal Logic 58 (2), 221-239, (2017) DOI: 10.1215/00294527-3838853
KEYWORDS: many-valued logic, model theory, Dunn–Priest techniques, 03C90, 03C20
Joseph Vidal-Rosset
Notre Dame J. Formal Logic 58 (2), 241-248, (2017) DOI: 10.1215/00294527-3839326
KEYWORDS: Intuitionistic logic, relevant logic, minimal logic, 03B20, 03B47
Merlin Carl, Philipp Schlicht
Notre Dame J. Formal Logic 58 (2), 249-270, (2017) DOI: 10.1215/00294527-3832619
KEYWORDS: generalized recursion theory, randomness, constructibility, admissible sets, infinitary computations, 03D32, 03D60, 03D65, 68Q05, 03E15, 03E35
Su Gao, Caleb Ziegler
Notre Dame J. Formal Logic 58 (2), 271-285, (2017) DOI: 10.1215/00294527-3867118
KEYWORDS: polynomial-time relation reducibility, strong reduction function, finitary equivalence relations, finite equivalence relations, 03D15, 68Q15, 68Q17
Agi Kurucz
Notre Dame J. Formal Logic 58 (2), 287-299, (2017) DOI: 10.1215/00294527-3870247
KEYWORDS: multimodal logic, finite model property, linear orders, 03B45, 03B62, 03B44
Back to Top