Previous |  Up |  Next

Article

Title: The lattice of equational theories. Part III: Definability and automorphisms (English)
Author: Ježek, Jaroslav
Language: English
Journal: Czechoslovak Mathematical Journal
ISSN: 0011-4642 (print)
ISSN: 1572-9141 (online)
Volume: 32
Issue: 1
Year: 1982
Pages: 129-164
Summary lang: Russian
.
Category: math
.
MSC: 03C05
MSC: 08B15
idZBL: Zbl 0499.08005
idMR: MR646718
DOI: 10.21136/CMJ.1982.101790
.
Date available: 2008-06-09T14:47:19Z
Last updated: 2020-07-28
Stable URL: http://hdl.handle.net/10338.dmlcz/101790
.
Reference: [1] J. Ježek: The lattice of equational theories. Part I: Modular elements.Czech. Math. J. 31 (1981), 127-153. MR 0604120
Reference: [2] J. Ježek: The lattice of equational theories. Part II: The lattice of full sets of terms.Czech. Math. J. 31 (1981), 573-603. MR 0631604
Reference: [3] J. Ježek: Primitive classes of algebras with unary and nullary operations.Colloq. Math. 20 (1969), 159-179. MR 0246813, 10.4064/cm-20-2-159-179
Reference: [4] J. Ježek: On atoms in lattices of primitive classes.Comment. Math. Univ. Carolinae 11 (1970), 515-532. MR 0269571
Reference: [5] J. Ježek: Varieties of algebras with equationally definable zeros.Czechoslovak Math. J. 27 (1977), 473-503. MR 0453610
Reference: [6] J. Ježek: EDZ-varieties: The Schreier property and epimorphisms onto.Comment. Math. Univ. Carolinae 17 (1976), 281-290. MR 0409317
Reference: [7] M. Kozák: Finiteness conditions on EDZ-varieties.Comment. Math. Univ. Carolinae 17 (1976), 461-472. MR 0424646
Reference: [8] R. McKenzie: Definability in lattices of equational theories.Annals of Math. Logic 3 (1971), 197-237. Zbl 0328.02038, MR 0280349, 10.1016/0003-4843(71)90007-6
Reference: [9] A. Tarski: Equational logic and equational theories of algebras.275 - 288 in: H. A. Schmidt, K. Schütte and H. J. Thiele, eds., Contributions to Mathematical Logic, North-Holland, Amsterdam 1968. Zbl 0209.01402, MR 0237410
.

Files

Files Size Format View
CzechMathJ_32-1982-1_8.pdf 4.552Mb application/pdf View/Open
Back to standard record
Partner of
EuDML logo