VOL. 51 · NO. 3 | 2010
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 51 (3), (2010)
No abstract available
Articles
Joel David Hamkins, Thomas A. Johnstone
Notre Dame J. Formal Logic 51 (3), 291-321, (2010) DOI: 10.1215/00294527-2010-018
KEYWORDS: strongly unfoldable cardinal, Forcing, indestructibility, 03E55, 03E40
Richard Dietz
Notre Dame J. Formal Logic 51 (3), 323-335, (2010) DOI: 10.1215/00294527-2010-019
KEYWORDS: Probability, supervaluationist logic, 60A05, 03B60
Kenshi Miyabe
Notre Dame J. Formal Logic 51 (3), 337-349, (2010) DOI: 10.1215/00294527-2010-020
KEYWORDS: van Lambalgen's Theorem, martingale, high, Omega operator, 03D32, 03D25
Alexander Paseau
Notre Dame J. Formal Logic 51 (3), 351-360, (2010) DOI: 10.1215/00294527-2010-021
KEYWORDS: second-order logic, nth-order logic, elimination of quantifiers, compactness, decidability of validity, model completeness, 03B15
Gregory M. Johnson
Notre Dame J. Formal Logic 51 (3), 361-371, (2010) DOI: 10.1215/00294527-2010-022
KEYWORDS: abstract elementary class, finite character, Infinitary logic, 03C48, 03C75
Ori Simchen
Notre Dame J. Formal Logic 51 (3), 373-381, (2010) DOI: 10.1215/00294527-2010-023
KEYWORDS: polyadic quantification, Russell, denoting, 01A60, 03B10
Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda
Notre Dame J. Formal Logic 51 (3), 383-405, (2010) DOI: 10.1215/00294527-2010-024
KEYWORDS: foundation of geometry, point-free geometry, Whitehead, multivalued logic, 03B30, 18A15, 54E99
Back Matter
Notre Dame J. Formal Logic 51 (3), (2010)
No abstract available
Back to Top