A Simplified Proof of the 0–1 Law for Ex
✍
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