𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic and fixed point equations over inverse limits of algebras

✍ Scribed by Viggo Stoltenberg-Hansen; J.V. Tucker


Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
999 KB
Volume
87
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Limits of theory sequences over algebrai
✍ Wei Li; Shilong Ma πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 306 KB

A computation model involving the computation of the limits of theory sequences is formally deΓΏned. It is called procedure scheme. It provides an approach to build a new theory by the limit of some sequence of formal theories and also has potential applications to scientiΓΏc and engineering problems.