# Browse Dissertations and Theses - Mathematics by Author "Pe, Joseph Lim"

• (1991)
Fragments of extensional Martin-Lof type theory without universes, $ML\sb0,$ are introduced that conservatively extend S. A. Cook and A. Urquhart's $IPV\sp\omega.$ A model for these restricted theories is obtained by ...

application/pdf

PDF (3Mb)