𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A necessary condition for the finiteness of Δ-good module categories

✍ Scribed by Bangming Deng; Changchang Xi


Book ID
105641256
Publisher
Springer
Year
1997
Tongue
English
Weight
292 KB
Volume
42
Category
Article
ISSN
1001-6538

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Sufficient and Necessary Condition for t
✍ H. Andréka; T. Gergely; I. Németi 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.