Mathematical Logic at Penn State
Introduction
Here is a one-page introduction to our logic program, for prospective
graduate students: PDF, PS, DVI, HTML.
Logic Seminar
Simpson runs a logic
seminar.
Research Personnel
The Department of Mathematics
of the Pennsylvania State University
conducts research in several areas related to mathematical logic. The
Penn State mathematical logic research staff consists of:
- Paul Axt. Professor of Mathematics, Retired. Logic,
recursive function theory.
- Stephen Binns. Instructor in
Mathematics. Recursion theory.
- John Clemens. Assistant Professor
of Mathematics. Descriptive set theory.
- Natasha Dobrinen. Chowla Research
Assistant Professor in Mathematics. Boolean algebras, set theory.
- Robert Dohner. Graduate Student in Mathematics. Logic.
- Esteban Gomez-Riviere. Graduate Student in Mathematics.
Logic.
- Christopher
Griffin. Graduate Student in Mathematics.
- Thomas Jech. Professor of Mathematics,
Retired. Set theory.
- Richard Mansfield. Associate
Professor of Mathematics, Retired. Logic.
- Carl Mummert. Graduate Student in
Mathematics. Logic, foundations of mathematics.
- Stephen Simpson. Professor of
Mathematics. Logic, foundations of mathematics.
- Heiko
Todt. Graduate Student in Mathematics. Logic.
- Chenying Wang. Graduate Student in Mathematics. Logic.
- Rebecca Weber.
Lecturer in Mathematics. Recursion theory.
Ph.D. Program and Advanced Courses
In 1997-1998 the Mathematics Department officially reinstituted a Logic
Option within its Ph.D. program. For up-to-date information on the
Logic Option, please e-mail
us. Students who elect the Logic Option take qualifying
examinations in Logic, Algebra, and Analysis. Information about
qualifying examinations is available
on the web.
We offer the following courses:
- MATH
457, Introduction to Mathematical Logic.
- MATH 459,
Computability and Unsolvability.
- MATH
557, Mathematical Logic.
- MATH
558, Foundations of Mathematics I.
- MATH 559-560, Recursion Theory I, II.
- MATH
561-562, Set Theory I, II.
- MATH
563-564, Model Theory I, II.
- MATH
565, Foundations of Mathematics II.
- MATH 574,
Topics in Logic and Foundations.
Beyond Penn State
There is FOM, an
automated e-mail list for foundations of mathematics.
There is a web page of resources in foundations of
mathematics.
There is a logic web
site in Bonn, Germany.
There is a list of links to logic research
institutes, sorted by location, in Uppsala, Sweden.
The University of Florida maintains a web site for logic e-prints.
Many mathematical logicians are members of the Association for Symbolic Logic.
simpson@math.psu.edu / 21 June 2004