Models for intuitionistic logic
<p>In this work I develop a formalization (M-L) of Martin-Löf type theory, the main concern being an accurate definition of what it is to be a model of M-L. Using this definition, I proceed with actual models of M-L (mainly realizability models) to establish the relative consistency of many in...
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
1975
|