# 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

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:
# 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.

t20@psu.edu / 16 September 2013