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

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

Past Probabilities

Sven Ove Hansson; 207-223

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

Syntax in Basic Laws §§29–32

Bryan Pickel; 253-277

Effective Packing Dimension and Traceability

Rod Downey and Keng Meng Ng; 279-290

Back Page to Volume 51, Number 2