The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 54, Number 2
Publication Date: 2013
Frontmatter
Table of Contents
Articles
Consecutive Singular Cardinals and the Continuum Function
Arthur W. Apter and Brent Cody; 125-136
The Nonabsoluteness of Model Existence in Uncountable Cardinals for $L_{\omega_{1},\omega}$
Sy-David Friedman, Tapani Hyttinen and Martin Koerwien; 137-151
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes
Michael J. Lieberman; 153-166
Lattices of Theories in Languages without Equality
J. B. Nation; 167-175
Complementation in Representable Theories of Region-Based Space
Torsten Hahmann and Michael Grüninger; 177-214
Degrees of Categoricity and the Hyperarithmetic Hierarchy
Barbara F. Csima, Johanna N. Y. Franklin and Richard A. Shore; 215-231
Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle
Chris Conidis, Noam Greenberg and Daniel Turetsky; 233-252
General Models and Entailment Semantics for Independence Logic
Pietro Galliani; 253-275
Notre Dame Journal of Formal Logic
