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 条
  • [31] First-Order Stable Model Semantics and First-Order Loop Formulas
    Lee, Joohyung
    Meng, Yunsong
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
  • [32] FIRST-ORDER FRIENDLINESS
    Badia, Guillermo
    Makinson, David
    REVIEW OF SYMBOLIC LOGIC, 2023,
  • [33] First-order leveling
    Avers, HG
    TRANSACTIONS-AMERICAN GEOPHYSICAL UNION, 1926, 7 (56): : 50 - 51
  • [34] Is science first-order?
    Meyer, U
    ANALYSIS, 2002, 62 (04) : 305 - 308
  • [35] Compiling dyadic first-order specifications into map algebra
    Cantone, D
    Formisano, A
    Omodeo, EG
    Zarba, CG
    THEORETICAL COMPUTER SCIENCE, 2003, 293 (02) : 447 - 475
  • [36] DEFINABLE SUBSETS OF ALGEBRAICALLY CLOSED FIELDS OF CHARACTERISTIC 0 IN LOGICS EXTENDING FIRST-ORDER LOGIC - PRELIMINARY REPORT
    COWLES, JR
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A326 - A327
  • [37] First-order Glue
    Kokkonidis M.
    Journal of Logic, Language and Information, 2008, 17 (1) : 43 - 68
  • [38] Getting Larders from Congruence Lattices of First-Order Structures
    Gillibert, Pierre
    Wehrung, Friedrich
    FROM OBJECTS TO DIAGRAMS FOR RANGES OF FUNCTORS, 2011, 2029 : 81 - 116
  • [39] The boundedness problem for monadic universal first-order logic
    Otto, Martin
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 37 - 46
  • [40] Complete Universal Scaling in First-Order Phase Transitions
    钟凡
    Chinese Physics Letters, 2024, 41 (10) : 11 - 16
12345