Notre Dame Journal of Formal Logic

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 52, Number 4

Publication Date: 2011

Table of Contents to Volume 52, Number 4

Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras

Tommaso Cortonesi, Enrico Marchioni and Franco Montagna; 339-379

On Milliken-Taylor Ultrafilters

Heike Mildenberger; 381-394

On Absoluteness of Categoricity in Abstract Elementary Classes

Sy-David Friedman and Martin Koerwien; 395-402

Rank and Dimension in Difference-Differential Fields

Ronald F. Bustamante Medina; 403-414

A Silver-like Perfect Set Theorem with an Application to Borel Model Theory

Joël Combase; 415-429

Partial Combinatory Algebras of Functions

Jaap van Oosten; 431-448

Back Page to Volume 52, Number 4


2012 © University of Notre Dame