FOM: Set theory and type theory

Till Mossakowski till at
Tue Sep 18 08:22:30 EDT 2001

Is there any survey article, list of references, or central paper
about the question which fragments of set theory can
be represented in which type theories and vice versa?

Till Mossakowski
Till Mossakowski                Phone +49-421-218-4683, monday:
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till at           
P.O.Box 330440, D-28334 Bremen

More information about the FOM mailing list