VOL. 52 · NO. 1 | 2011
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 52 (1), (2011)
No abstract available
Articles
Thomas Forster, Thierry Libert
Notre Dame J. Formal Logic 52 (1), 1-19, (2011) DOI: 10.1215/00294527-2010-033
KEYWORDS: set-theoretic paradoxes, logical paradoxes, Russell paradox, Mirimanoff paradox, Burali-Forti paradox, 03E65, 03E70
Paul Shafer
Notre Dame J. Formal Logic 52 (1), 21-38, (2011) DOI: 10.1215/00294527-2010-034
KEYWORDS: Medvedev degrees, lattices, Brouwer algebras, intermediate logics, 03D30, 03G10, 03B55
Tapani Hyttinen, Meeri Kesälä
Notre Dame J. Formal Logic 52 (1), 39-54, (2011) DOI: 10.1215/00294527-2010-035
KEYWORDS: geometric stability theory, abstract elementary classes, 03C45, 03C52
Juha Kontinen, Jouko Väänänen
Notre Dame J. Formal Logic 52 (1), 55-65, (2011) DOI: 10.1215/00294527-2010-036
KEYWORDS: dependence logic, independence friendly logic, team, 03B60, 03C80
G. O. Jones, D. J. Miller, M. E. M. Thomas
Notre Dame J. Formal Logic 52 (1), 67-74, (2011) DOI: 10.1215/00294527-2010-037
KEYWORDS: Pfaffian functions, parameterization, rational points, 03C64, 11G99, 11U09
Eli Dresner
Notre Dame J. Formal Logic 52 (1), 75-93, (2011) DOI: 10.1215/00294527-2010-038
KEYWORDS: first-order logic, soundness, completeness, measurement theory, 03A05
Damir D. Dzhafarov
Notre Dame J. Formal Logic 52 (1), 95-112, (2011) DOI: 10.1215/00294527-2010-039
KEYWORDS: Ramsey's theorem, effective measure theory, reverse mathematics, 03D80, 05D10, 03D32, 03F35
Back Matter
Notre Dame J. Formal Logic 52 (1), (2011)
No abstract available
Back to Top