VOL. 64 · NO. 4 | November 2023
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 64 (4), (November 2023)
No abstract available
Articles
Marcos Mazari-Armida
Notre Dame J. Formal Logic 64 (4), 407-424, (November 2023) DOI: 10.1215/00294527-2024-0003
KEYWORDS: torsion modules, torsion abelian groups, abstract elementary classes, superstability, stability, relative pure-injective modules, 20K10, 03C48, 03C45, 03C60, 13L05
Yong Cheng
Notre Dame J. Formal Logic 64 (4), 425-439, (November 2023) DOI: 10.1215/00294527-2023-0017
KEYWORDS: effective inseparability, essential undecidability, interpretation, 03F40, 03F25, 03F30
Vince Guingona, Miriam Parnes, Lynn Scow
Notre Dame J. Formal Logic 64 (4), 441-469, (November 2023) DOI: 10.1215/00294527-2023-0018
KEYWORDS: lexicographic, product, indivisible, amalgamation, 03C52, 03C45, 03E02
Thomas Macaulay Ferguson
Notre Dame J. Formal Logic 64 (4), 471-493, (November 2023) DOI: 10.1215/00294527-2023-0019
KEYWORDS: analytic implication, topic-sensitive logic, relevant logic, 03B47, 03B45
Matthias Schirn
Notre Dame J. Formal Logic 64 (4), 495-544, (November 2023) DOI: 10.1215/00294527-2023-0014
KEYWORDS: Incompleteness, initial stipulation, objectual identity, transsortal identification, value-range equation, 00A30
Ahmet Çevik
Notre Dame J. Formal Logic 64 (4), 545-570, (November 2023) DOI: 10.1215/00294527-2023-0016
KEYWORDS: foundations of mathematics, philosophy of mathematics, philosophy of set theory, pluralism, multiverse theory, hierarchical pluralism, 00A30, 03A05
Will Johnson
Notre Dame J. Formal Logic 64 (4), 571-609, (November 2023) DOI: 10.1215/00294527-2023-0015
KEYWORDS: p-adically closed fields, definable topological spaces, Definable groups, 03C60, 12L12
Back to Top