𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The bounded-complete hull of an α-space

✍ Scribed by Yu.L. Ershov


Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
742 KB
Volume
175
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Infiniteness of proof(α) is polynomial-s
✍ Sachio Hirokawa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 546 KB

It is shown that the infiniteness problem of proof (a) is polynomial-space complete. The set proof (~) is the set of closed I-terms in p-normal form which has a as their types. The set is identical to the set of normal form proofs of a in the natural deduction system for implicational fragment of in

The Bornologically Surjective Hull of an
✍ Ngai-Ching Wong; Yau-Chuen Wong 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 483 KB

## Abstract We provided an answer to an open problem of A. Pietsch by giving a direct construction of the bornologically surjective hull 𝔲^bsur^ of an operator ideal 𝔲 on __LCS's.__ Discussion of some extension problems of operator ideals were given.