✦ LIBER ✦

End Extensions and Numbers of Countable Models

✍ Scribed by Saharon Shelah

Book ID: 124963731
Publisher: Association for Symbolic Logic
Year: 1978
Tongue: English
Weight: 322 KB
Volume: 43
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2273531

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalized Quantifiers and Elementary E

Generalized Quantifiers and Elementary Extensions of Countable Models

✍ Małgorzata Dubiel 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

Elementary Extensions of Countable Model

Elementary Extensions of Countable Models of Set Theory

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

Number of Countable Models

✍ Anand Pillay 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 138 KB

The Number of Countable Models

✍ Michael Morley 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 498 KB

Decidability and the number of countable

Decidability and the number of countable models

✍ Terrence Millar 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 656 KB

On End-Extensions of Models of ¬exp

✍ Fernando Ferreira 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 1017 KB

Every model of IAo is the tally part of a model of the stringlanguage theory Th-FO (a main feature of which consists in having induction on notation restricted to certain AC! sets). We show how to "smoothly" introduce in Th-FO the binary length function, whereby it is possible to make exponential as