CONSTRUCTIVE ALGEBRAS I

Abstract

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

References

Page 1

	Year	Citations
Recursively enumerable sets of positive integers and their decision problems Emil L. Post Bulletin of the American Mathematical Society	1944	886
Classes of recursively enumerable sets and their decision problems H. G. Rice Transactions of the American Mathematical Society EngineeringExtremal Set TheoryComputational ComplexityDiscrete MathematicsCombinatorial Optimization	1953	737
Gödel numberings of partial recursive functions Hartley Rogers Journal of Symbolic Logic Several VariablesEngineeringPartial Recursive FunctionsAutomated ReasoningFormal Methods	1958	272
Effective procedures in field theory A. Fröhlich, J. C. Shepherdson Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences	1956	254
The decision problem for some classes of sentences without quantifiers J. C. C. McKinsey Journal of Symbolic Logic Decision ProblemEducationHigher-order LogicSemanticsApplied Linguistics	1943	211
Creative sets John Myhill Mathematical logic quarterly	1955	138
Classes of Recursively Enumerable Sets and Their Decision Problems H. G. Rice Transactions of the American Mathematical Society EngineeringExtremal Set TheoryComputational ComplexityDiscrete MathematicsCombinatorial Optimization	1953	129
Primitive recursive functions Raphael M. Robinson Bulletin of the American Mathematical Society Primitive Recursive FunctionsRecursive FunctionFunctional ProgrammingComputability Theory	1947	87
General recursive functions Julia Robinson Proceedings of the American Mathematical Society General Recursive FunctionsInitial Functions« ^0Function TheoryRecursive Function	1950	75
Models of axiomatic systems Andrzej Mostowski Fundamenta Mathematicae EngineeringAutomated ReasoningFormal MethodsModel TheoryFormal System	1952	57

Page 1