## Introduction

Here is a one-page introduction to our logic program, for prospective graduate students: PDF, PS, DVI, HTML.

## Logic Seminar

Reimann and Simpson run the Penn State Logic Seminar.

## Research Personnel

The Department of Mathematics of the Pennsylvania State University conducts research in mathematical logic. The research staff consists of:

**Stephen Simpson**. Professor of Mathematics. Logic, foundations of mathematics.**Jan Reimann**. Assistant Professor of Mathematics. Computability, randomness.**Jason Rute**. Postdoctoral Fellow in Mathematics. Computability, randomness.**Sankha Basu**. Lecturer in Mathematics. Intuitionism.**Adrian Maler**. Graduate Student in Mathematics. Computable analysis.**John Pardo**. Graduate Student in Mathematics. Mathematical logic.

## Ph.D. Program and Advanced Courses

From 1980 to the present we have graduated 29 Ph.D.s in mathematical logic. 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.
- MATH 559, Recursion Theory.
- MATH 561, Set Theory.
- MATH 574, Topics in Logic and Foundations.
- MATH 597, Special Topics.

# 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 web page of research groups in foundations of mathematics.

Many mathematical logicians are members of the Association for Symbolic Logic.