Decidable quasivarieties of p-algebras

被引：0
|
作者：
Kowalski, Tomasz [1 ,2 ,3 ]
Slomczynska, Katarzyna [4 ]
机构：
[1] Jagiellonian Univ, Dept Log, Ul Grodzka 52, PL-31044 Krakow, Poland
[2] La Trobe Univ, Dept Phys & Math Sci, Melbourne, Australia
[3] Univ Queensland, Sch Hist & Philosoph Inquiry, Brisbane, Australia
[4] Univ Natl Educ Commiss, Dept Math, Krakow, Poland
来源：
MATHEMATICAL LOGIC QUARTERLY | 2025年 / 71卷 / 01期
关键词：
DISTRIBUTIVE LATTICES; FINITE-ALGEBRAS; VARIETIES;
D O I：
10.1002/malq.202300064
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the trivial variety and the variety of Boolean algebras. This contrasts sharply, even for varieties, with the situation in Heyting algebras where decidable varieties do not coincide with finitely decidable ones.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Free solvable P-algebras
    Chakrabarti, S
    COMMUNICATIONS IN ALGEBRA, 2001, 29 (08) : 3393 - 3418
  • [22] Moduli of Lie p-algebras
    Alice Bouillet
    manuscripta mathematica, 2024, 174 : 381 - 427
  • [23] CONGRUENCE LATTICES OF P-ALGEBRAS
    GRATZER, G
    SCHMIDT, ET
    ALGEBRA UNIVERSALIS, 1995, 33 (04) : 470 - 477
  • [24] VARIETIES OF MODULAR P-ALGEBRAS
    KATRINAK, T
    COLLOQUIUM MATHEMATICUM, 1974, 29 (02) : 179 - 187
  • [25] REGULAR DOUBLE p-ALGEBRAS
    Adams, M. E.
    Sankappanavar, Hanamantagouda P.
    Vaz de Carvalho, Julia
    MATHEMATICA SLOVACA, 2019, 69 (01) : 15 - 34
  • [26] REPRESENTATIONS OF SOLVABLE P-ALGEBRAS
    SCHUE, J
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A93 - A93
  • [27] SPLITTINGS OF CYCLIC P-ALGEBRAS
    SALTMAN, DJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A427 - A427
  • [28] ON STRUCTURE OF LIE P-ALGEBRAS
    WINTER, DJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 251 - &
  • [29] REGULARITY IN DOUBLE P-ALGEBRAS
    VARLET, JC
    ALGEBRA UNIVERSALIS, 1984, 18 (01) : 95 - 105
  • [30] Composition algebras and cyclic p-algebras in characteristic 3
    Eliyahu Matzri
    Uzi Vishne
    Manuscripta Mathematica, 2014, 143 : 1 - 18
12345