𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite Variable Logic, Stability and Finite Models

✍ Scribed by Marko Djordjević

Book ID
124978703
Publisher
Association for Symbolic Logic
Year
2001
Tongue
English
Weight
438 KB
Volume
66
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On random models of finite power and mon
On random models of finite power and monadic logic
✍ Matt Kaufmann; Saharon Shelah 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 619 KB

For any property d~ of a model (or graph), let ~n(&) be the fraction of models of power n which satisfy &, and let ~(d~) = lim~\_\_~ Izn(d)) if this limit exists. For first-order properties &, it is known that ~(&) must be 0 or 1. We answer a question of K. Compton by proving in a strong way that th