✦ LIBER ✦
A Simplified Proof of the 0–1 Law for Existential Second-Order Ackermann Sentences
✍ Scribed by Thierry Lacoste
- Publisher
- John Wiley and Sons
- Year
- 1997
- Tongue
- English
- Weight
- 378 KB
- Volume
- 43
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 beautiful probabilistic argument of Kolaitis and Vardi in a simple and intuitive way. Consequently, we obtain a shorter proof.