VOL. 61 · NO. 2 | May 2020
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 61 (2), (May 2020)
No abstract available
Articles
Fabrice Correia, Sven Rosenkranz
Notre Dame J. Formal Logic 61 (2), 181-202, (May 2020) DOI: 10.1215/00294527-2020-0001
KEYWORDS: first-order temporal logic, presentism, growing block theory of time, presentness, 03B45
Keng Meng Ng, Hongyuan Yu
Notre Dame J. Formal Logic 61 (2), 203-225, (May 2020) DOI: 10.1215/00294527-2020-0005
KEYWORDS: wtt-degrees, dominant function, bounded jump, jump inversion, high degrees, 03D30, 03D28
Guozhen Shen
Notre Dame J. Formal Logic 61 (2), 227-231, (May 2020) DOI: 10.1215/00294527-2020-0002
KEYWORDS: strongly almost disjoint family, Cardinality, finite-to-one function, axiom of choice, 03E10, 03E25
Pierre Simon
Notre Dame J. Formal Logic 61 (2), 233-243, (May 2020) DOI: 10.1215/00294527-2020-0003
KEYWORDS: NTP2, Lascar strong types, amalgamation, 03C45, 03C95, 03C55
Linda Westrick
Notre Dame J. Formal Logic 61 (2), 245-263, (May 2020) DOI: 10.1215/00294527-2020-0006
KEYWORDS: Denjoy totalization, coanalytic ranks, 03E15, 26A39
Michael C. Laskowski, Caroline A. Terry
Notre Dame J. Formal Logic 61 (2), 265-282, (May 2020) DOI: 10.1215/00294527-2020-0004
KEYWORDS: unbounded arrays, mutually algebraic, array isolating, 03C52, 03C13
Jc Beall, Caleb Camrud
Notre Dame J. Formal Logic 61 (2), 283-296, (May 2020) DOI: 10.1215/00294527-2020-0007
KEYWORDS: plurivalent logic, paraconsistent logic, paracomplete logic, FDE, first-degree entailment, logical consequence, 03B20, 03B50, 03B53, 03A99
Alexander Berenstein, Rafael Zamora
Notre Dame J. Formal Logic 61 (2), 297-316, (May 2020) DOI: 10.1215/00294527-2020-0008
KEYWORDS: topological groups, isometry groups, Borel randomizations, Rokhlin property, topometric spaces, topometric groups, 03E15, 54H11, 22F50, 22A05
Volker Halbach
Notre Dame J. Formal Logic 61 (2), 317-339, (May 2020) DOI: 10.1215/00294527-2020-0009
KEYWORDS: logical consequence, logical validity, 03A05, Z003, 03B10
Allen Gehret, Elliot Kaplan
Notre Dame J. Formal Logic 61 (2), 341-361, (May 2020) DOI: 10.1215/00294527-2020-0010
KEYWORDS: asymptotic couples, asymptotic integration, distality, dp-rank, independence property, indiscernible sequences, logarithmic transseries, 03C64, 03C45, 06F20
Back to Top