✦ LIBER ✦

Omitting Types in Set Theory and Arithmetic

✍ Scribed by Julia F. Knight

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Types Omitted in Uncountable Models of A

✍ Julia F. Knight 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 143 KB

Omitting Types in Incomplete Theories

✍ Enrique Casanovas and Rafel Farré 📂 Article 📅 1996 🏛 Association for Symbolic Logic 🌐 English ⚖ 240 KB

Omitting Types in O-Minimal Theories

✍ David Marker 📂 Article 📅 1986 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB

Rudimentary and arithmetical constructiv

✍ Aczel, Peter 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 277 KB

On Interpretations of Arithmetic and Set

✍ Kaye, Richard; Wong, Tin Lok 📂 Article 📅 2007 🏛 University of Notre Dame 🌐 English ⚖ 203 KB

Types in class set theory and inaccessib

✍ M. Victoria Marshall 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 177 KB