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 47, Number 3
Publication Date: 2006
Table of Contents to Volume 47, Number 3
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic
Albert Visser; 299-309
Morley Rank in Homogeneous Models
Alexei Kolesnikov and G. V. N. G. Krishnamurthi; 319-329
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields
Nicolas Guzy and Cédric Rivière; 331-341
Invariant Version of Cardinality Quantifiers in Superstable Theories
Alexander Berenstein and Ziv Shami; 343-351
The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees
George Barmpalias and Andrew E. M. Lewis; 361-370
Andersonian Deontic Logic, Propositional Quantification, and Mally
Gert-Jan C. Lokhorst; 385-395
Book Review: Charles S. Chihara. A Structural Account of Mathematics
Alan Baker; 435-442
Back Page to Volume 47, Number 3
Notre Dame Journal of Formal Logic
