FOM: Set theory and type theory

Till Mossakowski till at tzi.de
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




More information about the FOM mailing list