✦ LIBER ✦

Natural Models and Ackermann-Type Set Theories

✍ Scribed by John Lake

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Natural Models of Ackermann's Set Theory

✍ Rudolf Grewe 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 696 KB

On an Ackermann-Type Set Theory

✍ John Lake 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 119 KB

Comparing type theory and set theory

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

A model of type theory in simplicial set

✍ Streicher, T. 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Order Types of Ordinals in Models of Set

✍ John E. Hutchinson 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB

Quotient topologies in constructive set

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