𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Second Order Reductions of the WDVV Equations Related to Classical Lie Algebras

✍ Scribed by L. K. Hoevenaars; R. Martini


Book ID
106455874
Publisher
Springer
Year
2005
Tongue
English
Weight
79 KB
Volume
71
Category
Article
ISSN
0377-9017

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Simple proof of the completeness theorem
✍ Karim Nour; Christophe Raffalli πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 241 KB

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ΓΏrst-order one. We also extend our method to the case of second-order intuitionistic logic.