𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ein kurzer Beweis für den Satz von Schiffmann mit Hilfe von Kirillovs Charakterformel

✍ Scribed by Rainer Felix


Book ID
112499112
Publisher
Springer
Year
1979
Tongue
English
Weight
113 KB
Volume
33
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