

1  10 of 456 for semigroup theorySearch Results (Page 0805) [No text on this page] Captions on this page: Forms of a binary operator satisfying the constraints of a series of different axiom systems. The successive blocks ... (Page 1172b) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations Groups and semigroups [and operator systems] With k ... (Page 1159d) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations [Universality of] algebraic axioms How universality ... (Page 1153a) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations Algebraic axioms Axioms like a · (b · c) == (a · b) · c ... (Page 1172f) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations Multiway systems [and operator systems] One can use ... (Page 1137e) Notes for: The Principle of Computational Equivalence  Undecidability and Intractability Examples of undecidability Once universality exists in a system it is ... (Page 1153c) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations Semigroups [and axioms] Despite their simpler ... (Page 0804) [No text on this page] PAGE IMAGE RELATED LINKS Notes related to this page: [History of] models of mathematics Axiom systems Basic logic [and axioms] Algebraic ... (Page 1172) Notes for: The Principle of Computational Equivalence  Implications for Mathematics and Its Foundations NOTES FROM PAGE Algebraic systems [and operator systems] ... (Page 0938c) Notes for: Two Dimensions and Beyond  Multiway Systems Semigroups and groups [and multiway systems] The multiway systems that I discuss can be viewed as ... 