✦ LIBER ✦

Types, structures and theories in NKI

✍ Scribed by Zhang, Xiaoru ;Zhang, Zaiyue ;Sui, Yuefei

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definable structures in o-minimal theori

✍ Assaf Hasson; Alf Onshuus; Ya’acov Peterzil 📂 Article 📅 2010 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 353 KB

Omitting Types in Incomplete Theories

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

Powerful types in small theories

✍ S. V. Sudoplatov 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 840 KB

Omitting Types in O-Minimal Theories

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

Toposes and intuitionistic theories of t

✍ R. Lavendhomme; Th. Lucas 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 977 KB

Forking types and rank functions in stab

✍ T. G. Mustafin; T. A. Nurmagambetov 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 691 KB