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 条
  • [21] Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates
    Anderson, Matthew
    van Melkebeek, Dieter
    Schweikardt, Nicole
    Segoufin, Luc
    AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 368 - 379
  • [22] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [23] A Universal Catalyst for First-Order Optimization
    Lin, Hongzhou
    Mairal, Julien
    Harchaoui, Zaid
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 28 (NIPS 2015), 2015, 28
  • [24] FIRST-ORDER APPROACH TO CORRESPONDENCE AND CONGRUENCE SYSTEMS
    ARMBRUST, M
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (03): : 215 - 222
  • [25] First-Order Logic in the Medvedev Lattice
    Rutger Kuyper
    Studia Logica, 2015, 103 : 1185 - 1224
  • [26] First-Order Logic in the Medvedev Lattice
    Kuyper, Rutger
    STUDIA LOGICA, 2015, 103 (06) : 1185 - 1224
  • [27] A First-Order Differentiator with First-Order Sliding Mode Filtering
    Kikuuwe, Ryo
    Pasaribu, Rainhart
    Byun, Gyuho
    IFAC PAPERSONLINE, 2019, 52 (16): : 771 - 776
  • [28] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [29] Prenex universal first-order safety properties
    Dundua, Besik
    Kapanadze, Ioane
    Seidl, Helmut
    INFORMATION PROCESSING LETTERS, 2024, 186
  • [30] First-order stable model semantics and first-order loop formulas
    Lee J.
    Meng Y.
    Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
12345