VOL. 59 · NO. 3 | 2018
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 59 (3), (2018)
No abstract available
Articles
Antonio Montalbán
Notre Dame J. Formal Logic 59 (3), 285-306, (2018) DOI: 10.1215/00294527-2017-0032
KEYWORDS: computable structure theory, back-and-forth relations, 03D45, 03D60
Nick Bezhanishvili, Dick de Jongh
Notre Dame J. Formal Logic 59 (3), 307-324, (2018) DOI: 10.1215/00294527-2017-0030
KEYWORDS: Intuitionistic logic, intermediate logics, subframe logics, monotonic maps, stable logics, axiomatization, 03B55, 03B20
Jeroen P. Goudsmit
Notre Dame J. Formal Logic 59 (3), 325-353, (2018) DOI: 10.1215/00294527-3838972
KEYWORDS: admissible rules, intermediate logics, Intuitionistic logic, universal model, 03B55, 03B20
Gunter Fuchs, Victoria Gitman, Joel David Hamkins
Notre Dame J. Formal Logic 59 (3), 355-370, (2018) DOI: 10.1215/00294527-2018-0007
KEYWORDS: Ehrenfeucht’s lemma, Leibniz–Mycielski axiom, algebraicity, ordinal definability, 03E45, 03E47, 03C55, 03C62
Shimon Garti, Menachem Magidor, Saharon Shelah
Notre Dame J. Formal Logic 59 (3), 371-379, (2018) DOI: 10.1215/00294527-2018-0006
KEYWORDS: supercompactness, Prikry forcing, ultrafilter number, 03E05, 03E55
Richmond Thomason
Notre Dame J. Formal Logic 59 (3), 381-385, (2018) DOI: 10.1215/00294527-3817906
KEYWORDS: modal logic, many-valued logic, 03B45, 03B50
Claribet Piña
Notre Dame J. Formal Logic 59 (3), 387-403, (2018) DOI: 10.1215/00294527-2018-0001
KEYWORDS: partition of topological spaces, uniform barriers, U-trees, 03E02, 05D10
Shahram Mohsenipour, Saharon Shelah
Notre Dame J. Formal Logic 59 (3), 405-416, (2018) DOI: 10.1215/00294527-2018-0002
KEYWORDS: combinatorial set theory, set mappings, 03E05, 03E35
Yatir Halevi
Notre Dame J. Formal Logic 59 (3), 417-436, (2018) DOI: 10.1215/00294527-2018-0003
KEYWORDS: stable groups, stable semigroups, strong pi-regularity, epigroup, Newelski’s semigroup, 03C60, 03C98, 03C45
Jeffrey R. Schatz
Notre Dame J. Formal Logic 59 (3), 437-454, (2018) DOI: 10.1215/00294527-2018-0004
KEYWORDS: philosophical logic, formal theories of truth, replacement theories, Truth, liar paradox, 03Axx
Simon Hewitt
Notre Dame J. Formal Logic 59 (3), 455-459, (2018) DOI: 10.1215/00294527-2018-0005
KEYWORDS: philosophy of mathematics, philosophy of set theory, structuralism, plural logic, indefinite extensibility, Uzquiano, 03A05, 00A30
Back to Top