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
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
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.