Similar Items: Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
- Kripke Semantics for Martin-Löf's Extensional Type Theory
- Notions of Anonymous Existence in Martin-Löf Type Theory
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets
- Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
- Transforming structures by set interpretations
- An Inverse recursive algorithm to retrieve the shape of the inaccessible dielectric objects