𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebras over variable theories

✍ Scribed by D. B. Benson; M. Nečesal; J. Rosický


Publisher
Springer
Year
2002
Tongue
English
Weight
199 KB
Volume
47
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Algebraic Geometry over Groups I. Algebr
✍ Gilbert Baumslag; Alexei Myasnikov; Vladimir Remeslennikov 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 343 KB

The object of this paper, which is the first in a series of three, is to lay the foundations of the theory of ideals and algebraic sets over groups. ᮊ 1999 Aca- demic Press CONTENTS 1. Introduction. 1.1. Some general comments. 1.2. The category of G-groups. 1.3. Notions from commutative algebra. 1.4

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.