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 51, Number 2
Publication Date: 2010
Table of Contents to Volume 51, Number 2
Numerical Abstraction via the Frege Quantifier
G. Aldo Antonelli; 161-179
The Consistency Strength of $\mathrm{MP_{CCC}}(\mathbb{R})$
George Leibman; 181-193
Relative Randomness and Cardinality
George Barmpalias; 195-205
Syntactic Preservation Theorems for Intuitionistic Predicate Logic
Jonathan Fleischmann; 225-245
Definable Open Sets As Finite Unions of Definable Open Cells
Simon Andrews; 247-251
Effective Packing Dimension and Traceability
Rod Downey and Keng Meng Ng; 279-290
Back Page to Volume 51, Number 2
Notre Dame Journal of Formal Logic
