FOM: Set theory and type theory

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:
+49-4252-1859
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till at tzi.de           
P.O.Box 330440, D-28334 Bremen  http://www.tzi.de/~till