Like many other fields of mathematics, mathematical logic has experienced an
explosive development since it was first recognized as a field. Nowadays logic has
become such a vast subject that it is becoming more and more difficult even for ex-
perts in the field to understand each other. It has become a necessary tradition for
the annual meetings of the logic community to have parallel sessions of set theory,
model theory, computability theory, philosophical logic, etc., in order to accommo-
date the large number of talks. Logicians now travel to workshops and conferences
that often target their subfields of expertise. In this seemingly inevitable culture
change, many people would appreciate the opportunity to listen to talks that are
more technical than surveys but at the same time more insightful than technical
talks. These were the type of talks delivered in the North Texas Logic Conference.
Most of the speakers made a conscious effort to relate their own research to others'
This present volume is based on the talks given in the conference. As editors,
we find the papers accessible and enjoyable to read on the one hand, and a good
sample of the variety of research in logic on the other.
The North Texas Logic Conference was held on October 8-10, 2004, at the
University of North Texas in Denton, Texas. It was a part of a special two-year
program in logic at UNT, during which time Richard Ketchersid and Mike Oliver
were visiting UNT and helping with the organization of the conference.
We would like to thank the NSF for a grant DMS-0444019 to provide travel
support to our invited speakers, graduate student participants and new PhDs. The
College of Arts and Sciences at UNT provided generous funding for the conference.
In addition, the Department of Mathematics at UNT also invited Ted Slaman to
give a Millican Lecture during the conference. In addition to the local organizing
effort by Richard Ketchersid and Mike Oliver, Ross Bryant, Sara Munday and
Belinda Firth also helped with the conference website, registration, refreshments,
computer access, local information and reimbursements. We would like to take the
opportunity to thank them all for a successful conference.
Finally we would like to thank the participants, especially all the speakers,
for a very interesting and fruitful conference. Last but not least, we thank the
authors of the papers in this volume for their excellent contributions, and the
American Mathematical Society for publishing this volume as the proceedings of