Definable and Autostable Congruences

被引:0
|
作者
Pinus A.G. [1 ]
机构
[1] Novosibirsk State Technical University, 20, pr. Karla Marksa, Novosibirsk
关键词
Boolean Algebra; Order Logic; Universal Algebra; Congruence Lattice; Principal Congruence;
D O I
10.1007/s10958-015-2637-5
中图分类号
学科分类号
摘要
We establish a relationship between autostable and point-definable congruences on countable universal algebras. Bibliography: 9 titles. © 2015, Springer Science+Business Media New York.
引用
收藏
页码:824 / 828
页数:4
相关论文
共 50 条
  • [1] Existentially definable factor congruences
    Sanchez Terraf, Pedro
    ACTA SCIENTIARUM MATHEMATICARUM, 2010, 76 (1-2): : 49 - 53
  • [2] Definable principal congruences and solvability
    Idziak, Pawel M.
    Kearnes, Keith A.
    Kiss, Emil W.
    Valeriote, Matthew A.
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 157 (01) : 30 - 49
  • [3] Existentially definable factor congruences
    Pedro Sánchez Terraf
    Acta Scientiarum Mathematicarum, 2010, 76 (1-2): : 49 - 53
  • [4] VARIETIES WITH DEFINABLE FACTOR CONGRUENCES
    Sanchez Terraf, Pedro
    Vaggione, Diego J.
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 361 (10) : 5061 - 5088
  • [6] Varieties with equationally definable factor congruences
    Mariana V. Badano
    Diego J. Vaggione
    Algebra universalis, 2013, 70 : 327 - 345
  • [7] Varieties with existentially definable factor congruences
    Mariana Badano
    Miguel A. Campercholi
    Diego J. Vaggione
    Algebra universalis, 2022, 83
  • [8] Varieties with equationally definable factor congruences
    Badano, Mariana V.
    Vaggione, Diego J.
    ALGEBRA UNIVERSALIS, 2013, 70 (04) : 327 - 345
  • [9] Varieties with existentially definable factor congruences
    Badano, Mariana
    Campercholi, Miguel A.
    Vaggione, Diego J.
    ALGEBRA UNIVERSALIS, 2022, 83 (02)
  • [10] Weakly diagonal algebras and definable principal congruences
    Kaarli, Kalle
    Pixley, Alden
    ALGEBRA UNIVERSALIS, 2006, 55 (2-3) : 203 - 212