𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undecidability results on two-variable logics

✍ Scribed by Erich Grädel; Martin Otto; Eric Rosen

Publisher
Springer
Year
1999
Tongue
English
Weight
260 KB
Volume
38
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Preservation Theorems for Two-Variabl
On Preservation Theorems for Two-Variable Logic
✍ Erich Gradel; Eric Rosen 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 736 KB

## Abstract We show that the existential preservation theorem fails for two‐variable first‐order logic FO^2^. It is known that for all __k__ ≥ 3, FO^k^ does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In