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...
| 主要な著者: | , |
|---|---|
| フォーマット: | 学位論文 |
| 言語: | English |
| 出版事項: |
1975
|