VOL. 64 · NO. 2 | May 2023
Notre Dame J. Formal Logic 64 (2), (May 2023)
No abstract available
Itaï Ben Yaacov, Isaac Goldbring
Notre Dame J. Formal Logic 64 (2), 159-172, (May 2023) DOI: 10.1215/00294527-10670015
KEYWORDS: locally compact group, continuous unitary representation, nondegenerate ∗-representation, metric structure, Continuous logic, ultraproduct, ultrapower, property (T), 03C20, 22D10, 22D20, 22D55
Daniel Max Hoffmann
Notre Dame J. Formal Logic 64 (2), 173-184, (May 2023) DOI: 10.1215/00294527-10672034
KEYWORDS: Hasse–Schmidt derivations, separably closed fields, algebraic groups, 03C60, 13N15, 20G15
Krzysztof A. Krawczyk
Notre Dame J. Formal Logic 64 (2), 185-196, (May 2023) DOI: 10.1215/00294527-10670082
KEYWORDS: modal logic, local deduction theorem, modal algebra, abstract algebra, 03B45, 03G25, 03G27
Marat Faizrahmanov
Notre Dame J. Formal Logic 64 (2), 197-203, (May 2023) DOI: 10.1215/00294527-10670074
KEYWORDS: c.e. set, c.e. family, family closed under finite differences, 03D45, 03C57, 03D80
Ansten Klev
Notre Dame J. Formal Logic 64 (2), 205-223, (May 2023) DOI: 10.1215/00294527-10670089
KEYWORDS: functional abstraction, typed lambda calculus, Gottlob Frege, 03A05, 00A30, 03B40, 03B38
Chieu-Minh Tran, Erik Walsberg
Notre Dame J. Formal Logic 64 (2), 225-238, (May 2023) DOI: 10.1215/00294527-10670096
KEYWORDS: reduct, Expansion, dp-minimal, cyclic order, 03C65, 03B25, 03C10, 03C64
Uwe Petersen
Notre Dame J. Formal Logic 64 (2), 239-246, (May 2023) DOI: 10.1215/00294527-10670103
KEYWORDS: paradoxes, logic of paradox, dialetheism, inconsistent arithmetic, unrestricted abstraction, 03B53, 03B16, 3E70
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Notre Dame J. Formal Logic 64 (2), 247-251, (May 2023) DOI: 10.1215/00294527-10701451
KEYWORDS: base matrices, refining matrices, cardinal characteristics, tower number, cofinal branches, 03E05, 03E17
Back to Top