Ihm-Quasiorder and Derived Structures of Universal Algebras; 1-Algebraic Complete Algebras
The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of basic sets of universal algebras) with the such derived structures of these algebras as a lattices its algebraic subsets, lattices of its subalgebras, semigroups of its innere homomorphisms.We introduce the notion of 1-algebraic complete algebras and prove that for any least countinual algebra of countable signature exists its 1-algebraic complete extebsion of the same power as the algebra.
- Pinus A.G. On the Quasiorder which is induced by the Innere Homomorphisms of the Universal Algebras and on the Algebraic Closure Operator on the Subsets of these Algebras (O kvaziporyadke indutsirovannom vnutrennimi gomomorfizmami universalnich algebr i ob operatore algebraicheskogo zamikaniya na podmnogestvach etikh algebr). Sib. math. Journal (Sib. mat. zhurnal), 2015, vol.56, no 3. P. 629-636.
- Plotkin B.I. Some Notions of Algebraic Geometry in Universal Algebra (Nekotorye ponyatiya algebraicheskoy geometrii v universalnoi algebre). Algebra and Analisis ( Algebra i analiz), 1997, vol.9, no 4, pp.224-248.
- Pinus A.G. On Ihm-permitted and Ihm-banned Quasiorders on Algebras (O Ihmdozvolennikh i Ihm-zapreshchennikh kvaziporyadkakh na algebrach) (in appered).
- Pinus A.G. Derived Structures of Universal Algebras (Proizvodnie struktury universalnikh algebr). Novosibirsk, NGTU-Publ., 2007 (Novosibirsk, izd-vo NGTU, 2007).
- Dickman M.A. Larger Infinitary Languages. Model-Theoretic Logiks. Springer- Verlag, New-York, 1985, pp. 317-363.