On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra

被引：0
|
作者：
A. G. Pinus
机构：
[1] Novosibirsk State Technical University,
来源：
Siberian Mathematical Journal | 2006年 / 47卷
关键词：
congruence lattices of universal algebras; first-order definable congruences; openly first-order definable congruences;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We prove some representation theorems for lattices and their lower subsemilattices as the lattices of congruences and subsemilattices of first-order definable congruences of universal algebras.
引用
收藏
页码：714 / 719
页数：5
相关论文
共 50 条
  • [41] Complete Universal Scaling in First-Order Phase Transitions
    Zhong, Fan
    Chinese Physics Letters, 2024, 41 (10)
  • [42] Competition of first-order and second-order topology on the honeycomb lattice
    Bunney, Matthew
    Mizoguchi, Tomonari
    Hatsugai, Yasuhiro
    Rachel, Stephan
    PHYSICAL REVIEW B, 2022, 105 (04)
  • [43] Exponential attractors for first-order lattice dynamical systems
    Abdallah, Ahmed Y.
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2008, 339 (01) : 217 - 224
  • [44] Weakly first-order transition in an athermal lattice gas
    Sellitto, Mauro
    PHYSICAL REVIEW E, 2022, 105 (05)
  • [45] FIRST-ORDER RAMAN SCATTERING BY POLAR LATTICE VIBRATIONS
    LOUDON, R
    SOLID STATE COMMUNICATIONS, 1968, 6 (10) : R1 - &
  • [46] Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
    Jeannerod, Nicolas
    Treinen, Ralf
    AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 439 - 454
  • [47] Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
    Xu, Wei-Tao
    Xu, Yang
    Xu, W.-T. (hnxmxwt@163.com), 1600, Shanghai Jiao Tong University (17): : 178 - 181
  • [48] Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
    许伟涛
    徐扬
    Journal of Shanghai Jiaotong University(Science), 2012, 17 (02) : 178 - 181
  • [49] The First-Order Nominal Link
    Calves, Christophe
    Fernandez, Maribel
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2011, 6564 : 234 - 248
  • [50] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
12345