VOL. 55 · NO. 2 | 2014
Notre Dame J. Formal Logic 55 (2), (2014) Open Access
No abstract available
Walter Dean
Notre Dame J. Formal Logic 55 (2), 157-196, (2014) DOI: 10.1215/00294527-2420636 Open Access
KEYWORDS: Montague’s paradox, Knower paradox, constructive proof, informal proof, provability logic, explicit modal logic, justification logic, 03F03, 03F45, 03F50
Tomasz Kowalski
Notre Dame J. Formal Logic 55 (2), 197-204, (2014) DOI: 10.1215/00294527-2420642 Open Access
KEYWORDS: BCK logic, structural completeness, admissible rules, 03B47, 06F35, 03F07
Mohammed Belkasmi
Notre Dame J. Formal Logic 55 (2), 205-230, (2014) DOI: 10.1215/00294527-2420648 Open Access
KEYWORDS: positive model theory, $h$-inductive theories, existentially closed models, amalgamation, elimination of quantifiers, topology of type spaces, 03C95, 03C48, 03C10, 03C52
Mojtaba Aghaei, Amir Khamseh
Notre Dame J. Formal Logic 55 (2), 231-244, (2014) DOI: 10.1215/00294527-2420654 Open Access
KEYWORDS: unprovable statements, Kanamori–McAloon principle, Paris–Harrington principle, canonical Ramsey theorem, 03F30, 03B30, 03C62
Bernard Anderson, Barbara Csima
Notre Dame J. Formal Logic 55 (2), 245-264, (2014) DOI: 10.1215/00294527-2420660 Open Access
KEYWORDS: bounded jump, jump, bounded Turing degrees, $bT$-degrees, wtt degrees, 03D30
Itay Neeman
Notre Dame J. Formal Logic 55 (2), 265-298, (2014) DOI: 10.1215/00294527-2420666 Open Access
KEYWORDS: Forcing, finite conditions, Proper forcing axiom, 03E35
Back to Top