VOL. 61 · NO. 1 | January 2020
Notre Dame J. Formal Logic 61 (1), (January 2020) Open Access
No abstract available
Ali N. Valizadeh, Massoud Pourmahdian
Notre Dame J. Formal Logic 61 (1), 1-10, (January 2020) DOI: 10.1215/00294527-2019-0038
KEYWORDS: Hrushovski constructions, generic structures, pseudofinite structures, predimension, Ehrenfeucht–Fraïssé games, 03C99, 05C63, 05C65, 05C05
Guillermo Badia, Grigory Olkhovikov
Notre Dame J. Formal Logic 61 (1), 11-30, (January 2020) DOI: 10.1215/00294527-2019-0030
KEYWORDS: Lindström theorem, Intuitionistic logic, abstract model theory, asimulations, 03C95, 03B55
Anton Freund, Fedor Pakhomov
Notre Dame J. Formal Logic 61 (1), 31-49, (January 2020) DOI: 10.1215/00294527-2019-0031
KEYWORDS: finite consistency statements, slow consistency, polynomial proofs, 03F20, 03F30, 03F40
Sam Sanders
Notre Dame J. Formal Logic 61 (1), 51-74, (January 2020) DOI: 10.1215/00294527-2019-0032
KEYWORDS: reverse mathematics, higher-order arithmetic, splittings, disjunctions, 03B30, 03D65, 03F35
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Notre Dame J. Formal Logic 61 (1), 75-115, (January 2020) DOI: 10.1215/00294527-2019-0033
KEYWORDS: inquisitive logic, dependence logic, team semantics, Intuitionistic logic, 03B65, 03B60, 03B20
Vladimir Kanovei, Vassily Lyubetsky
Notre Dame J. Formal Logic 61 (1), 117-128, (January 2020) DOI: 10.1215/00294527-2019-0034
KEYWORDS: canonization, smooth equivalences, infinite products, $E_{0}$-large, 03E15, 03E35
Sergi Oms
Notre Dame J. Formal Logic 61 (1), 129-140, (January 2020) DOI: 10.1215/00294527-2019-0035
KEYWORDS: probabilistic measures of coherence, completeness, liar-like entities, 81P05, 03A10
Huishan Wu
Notre Dame J. Formal Logic 61 (1), 141-153, (January 2020) DOI: 10.1215/00294527-2019-0036
KEYWORDS: radicals, socles, modules, reverse mathematics, 03B30, 03D15
Eduardo Hermo Reyes, Joost J. Joosten
Notre Dame J. Formal Logic 61 (1), 155-180, (January 2020) DOI: 10.1215/00294527-2019-0037
KEYWORDS: provability logic, positive modal logic, Turing progressions, ordinal analysis, fragments of arithmetic, conservation results, 03F45, 03F30, 03F03
Back to Top