VOL. 52 · NO. 2 | 2011
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 52 (2), (2011)
No abstract available
Articles
Andrzej Rosłanowski, Saharon Shelah
Notre Dame J. Formal Logic 52 (2), 113-147, (2011) DOI: 10.1215/00294527-1306154
KEYWORDS: reasonable ultrafilters, Iterated forcing, 03E35, 03E05, 03E20
Jeffry L. Hirst, Carl Mummert
Notre Dame J. Formal Logic 52 (2), 149-162, (2011) DOI: 10.1215/00294527-1306163
KEYWORDS: reverse mathematics, proof theory, Dialectica, realizability, uniformization, 03F35, 03F50, 03B30, 03F60
Rodney G. Downey, Asher M. Kach
Notre Dame J. Formal Logic 52 (2), 163-172, (2011) DOI: 10.1215/00294527-1306172
KEYWORDS: Euclidean domain, Euclidean function, 03D45, 03B30
Johanna N.Y. Franklin, Frank Stephan
Notre Dame J. Formal Logic 52 (2), 173-185, (2011) DOI: 10.1215/00294527-1306181
KEYWORDS: van Lambalgen's Theorem, Schnorr randomness, recursive randomness, Kurtz randomness, 03D32
Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze
Notre Dame J. Formal Logic 52 (2), 187-202, (2011) DOI: 10.1215/00294527-1306190
KEYWORDS: modal logic, subframe logic, finite model property, 03B45
Samuel Coskey, Joel David Hamkins
Notre Dame J. Formal Logic 52 (2), 203-228, (2011) DOI: 10.1215/00294527-1306199
KEYWORDS: Set theory, descriptive set theory, infinite time computation, equivalence relations, 03D30, 03D65, 03E15
Back Matter
Notre Dame J. Formal Logic 52 (2), (2011)
No abstract available
Back to Top