𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Neuer Beweis einer isoperimetrischen Ungleichung von Bol

✍ Scribed by A. Dinghas


Publisher
Springer-Verlag
Year
1948
Tongue
French
Weight
219 KB
Volume
51
Category
Article
ISSN
0025-5874

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