VOL. 58 · NO. 3 | 2017
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 58 (3), (2017)
No abstract available
Articles
Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer
Notre Dame J. Formal Logic 58 (3), 301-328, (2017) DOI: 10.1215/00294527-3839446
KEYWORDS: semimeasures, Measures, algorithmic randomness, randomness, 03D32
Pierre Joray
Notre Dame J. Formal Logic 58 (3), 329-342, (2017) DOI: 10.1215/00294527-3882234
KEYWORDS: Aristotle, syllogistic, ecthesis, noncontradiction, 03A99
Amar Hadzihasanovic, Benno van den Berg
Notre Dame J. Formal Logic 58 (3), 343-380, (2017) DOI: 10.1215/00294527-3870348
KEYWORDS: nonstandard arithmetic, functional interpretations, categorical logic, dialectica interpretation, proof mining, Constructive mathematics, 03H15, 03F25, 03G30
Teruyuki Yorioka
Notre Dame J. Formal Logic 58 (3), 381-396, (2017) DOI: 10.1215/00294527-3882335
KEYWORDS: coherent Suslin tree, $\mathsf{PFA}(S)$, Aronszajn tree, club-isomorphism, 03E35, 03E50, 03E57
Daniel Cunningham
Notre Dame J. Formal Logic 58 (3), 397-407, (2017) DOI: 10.1215/00294527-2017-0008
KEYWORDS: diamond principles, determinacy, Steel’s core model $\mathbf{K}(\mathbb{R})$, 03E15, 03E45, 03E60
Martin Zeman
Notre Dame J. Formal Logic 58 (3), 409-432, (2017) DOI: 10.1215/00294527-2017-0005
KEYWORDS: subcompact cardinal, square sequence, stationary set reflection, modified Prikry forcing, iterated club shooting, 03E05, 03E45, 03E55
Anuj Dawar, Thomas Forster, Zachiri McKenzie
Notre Dame J. Formal Logic 58 (3), 433-451, (2017) DOI: 10.1215/00294527-2017-0009
KEYWORDS: simple theory of types, Quine’s $\mathrm{NF}$, universal-existential sentences, 03E70
Oleksandr Petrenko, Igor Protasov
Notre Dame J. Formal Logic 58 (3), 453-459, (2017) DOI: 10.1215/00294527-3839090
KEYWORDS: $G$-space, $G$-selective and $G$-Ramsey ultrafilters, Stone–Čech compactification, X001, 05D10, 54H15
Back to Top