✦ LIBER ✦

Realizing Mahlo set theory in type theory

✍ Scribed by Michael Rathjen

Publisher: Springer
Year: 2003
Tongue: English
Weight: 164 KB
Volume: 42
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-002-0159-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Realization of constructive set theory i

Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe

✍ Sergei Tupailo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 302 KB

We deÿne a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The ÿnal results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T0, thus providing relative lower bounds for the proof-theoretic strength of the latter.

Extending Martin-Löf Type Theory by one

Extending Martin-Löf Type Theory by one Mahlo-universe

✍ Anton Setzer 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 224 KB

Comparing type theory and set theory

✍ John Lake 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Quotient topologies in constructive set

Quotient topologies in constructive set theory and type theory

✍ Hajime Ishihara; Erik Palmgren 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Developing Theories of Types and Computa

Developing Theories of Types and Computability via Realizability

✍ Lars Birkedal 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Realization theory in Hilbert space

✍ Dietmar Salamon 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 755 KB