CONSTRUCTIVE ALGEBRAS I

CONTENTSIntroduction § 1. Algebraic systems1.1. Functions, operations, predicates1.2. Generating sets. Terms1.3. Primitive and quasi-primitive classes1.4. Defining relations1.5. Algebras of recursive functions § 2. Numbered sets2.1. Mappings of numbered sets2.2. Univalent reducibility of numberings2.3. Equivalence of numberings § 3. Numbered algebras3.1. R-numberings of algebraic systems3.2. Subsystems3.3. Homomorphisms and congruences § 4. Finitely generated algebras4.1. General finitely generated algebras4.2. Finitely presented algebrasReferences

Перевод пока недоступен