𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finitistic proofs of 0–1 laws for fragments of second-order logic

✍ Scribed by Thierry Lacoste

Book ID
107766306
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
336 KB
Volume
58
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simplified Proof of the 0–1 Law for Ex
A Simplified Proof of the 0–1 Law for Existential Second-Order Ackermann Sentences
✍ Thierry Lacoste 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 378 KB

## Abstract Recently we gave a finitistic proof of the 0–1 law for ∑~1~^1^ (Ackermann) sentences, which relied as much as possible on the original argument of Kolaitis and Vardi. Here we present another version of our proof which, on the contrary, is self‐contained. Finitism allows us to use the be