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