VOL. 59 · NO. 2 | 2018
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 59 (2), (2018)
No abstract available
Articles
Damir D. Dzhafarov, Joseph R. Mileti
Notre Dame J. Formal Logic 59 (2), 139-156, (2018) DOI: 10.1215/00294527-2017-0024
KEYWORDS: computable unique factorization domains, computability theory, primes, 03C57, 03D45, 13F15, 13L05
Daniel Palacín, Rizos Sklinos
Notre Dame J. Formal Logic 59 (2), 157-169, (2018) DOI: 10.1215/00294527-2017-0023
KEYWORDS: model theory, superstability, free Abelian groups, 03C45
David Ripley
Notre Dame J. Formal Logic 59 (2), 171-188, (2018) DOI: 10.1215/00294527-2017-0025
KEYWORDS: conflation, confusion, blurring, tetravaluations, 03B60
Noam Greenberg, Joseph S. Miller, Benoit Monin, Daniel Turetsky
Notre Dame J. Formal Logic 59 (2), 189-195, (2018) DOI: 10.1215/00294527-2017-0021
KEYWORDS: K-triviality, Kolmogorov complexity, Martin-Löf randomness, 03D32, 68Q30
Victor Pambuccian
Notre Dame J. Formal Logic 59 (2), 197-204, (2018) DOI: 10.1215/00294527-2017-0028
KEYWORDS: Pythagorean arithmetic, elementary number theory, 03C62, 11U99, 11A99
Jesús A. Álvarez López, Alberto Candel
Notre Dame J. Formal Logic 59 (2), 205-213, (2018) DOI: 10.1215/00294527-2017-0026
KEYWORDS: Gromov space, Gromov–Hausdorff metric, quasi-isometry, 03E15, 54H05, 54H20‎, ‎54E50‎
Philipp Hieronymi, Alonza Terry Jr.
Notre Dame J. Formal Logic 59 (2), 215-232, (2018) DOI: 10.1215/00294527-2017-0027
KEYWORDS: Ostrowski numeration system, Continued fraction, addition, finite automata, decidability, expansion of Presburger arithmetic, 11A67, 03B25, 68Q25, 68R15
William H. Hanson
Notre Dame J. Formal Logic 59 (2), 233-284, (2018) DOI: 10.1215/00294527-2017-0022
KEYWORDS: quantified modal logic, serious actualism, actualism, predicate abstraction, uniform substitution, tableau proof system, 03B45
Back to Top