𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ein elementarer Beweis für den Äquivalenzsatz von Knopp und Schnee

✍ Scribed by Hubert Tietz


Book ID
112502650
Publisher
Springer
Year
1991
Tongue
English
Weight
300 KB
Volume
56
Category
Article
ISSN
0003-889X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG F
✍ Michael Deutsch; M. Deutsch 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 782 KB

## Abstract A simultaneous semantical and syntactical reduction is given for the satisfiability respectively finite satisfiability of first order formulas. We choose ∀∃∀∞(0, 1) as conservative reduction class and allow only formulas out of ∀∃∀∞(0, 1) having a simple set theoretical model if they ar