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.


Online with Project Euclid
NDJFL is an Open Archive journal.
At Project Euclid, NDJFL volumes more than
five years old are available free to the public.

Michael Detlefsen and Peter Cholak, Editors

Martha E. Kummerer, Production Editor and Manager
ndjfl@nd.edu



Editorial Board
Peter Aczel
G. Aldo Antonelli
Jeremy Avigad
John Baldwin
Patrick Blackburn
Patricia Blanchette
Sam Buss
Kosta Došen
Melvin Fitting
Matthew Foreman
Robert Goldblatt
Warren Goldfarb
Joel David Hamkins
Ulrich Kohlenbach
Jan Krajicek
Michael J. Kremer
Penelope Maddy
David E. Marker
Timothy McCarthy
Vann McGee
Colin McLarty
Lawrence S. Moss
Anand Pillay
Greg Restall
Stewart Shapiro
Sergei Starchenko
William W. Tait
Jouko Väänänen
Albert Visser
Timothy Williamson

The Notre Dame Journal of Formal Logic is published by Duke University Press
on behalf of the University of Notre Dame.
Information on Subscriptions, Advertising Rates, Permissions, and Exam Copies can be found at
dukeupress.edu/ndjfl/


Editors and Areas of Review

Guide to Authors

Typesetting

Notre Dame's Philosophy Department
Notre Dame's Math Department
University of Notre Dame


Copyright 2007 University of Notre Dame
Last modified November 30, 2007