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 条
  • [1] P-ALGEBRAS
    WILLOUGHBY, RA
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1952, 58 (01) : 56 - 56
  • [2] PRINCIPAL CONGRUENCES OF P-ALGEBRAS AND DOUBLE P-ALGEBRAS
    HECHT, T
    KATRINAK, T
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 58 (JUL) : 25 - 31
  • [3] The P-Algebras
    Edeghagba, Elijah Eghosa
    Seselja, Branimir
    Tepavcevic, Andreja
    AXIOMS, 2025, 14 (02)
  • [4] P-ALGEBRAS
    UNGAR, A
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A305 - A306
  • [5] ON CONGRUENCE LATTICES OF SOME P-ALGEBRAS AND DOUBLE P-ALGEBRAS
    BEAZER, R
    ALGEBRA UNIVERSALIS, 1981, 13 (03) : 379 - 388
  • [6] CONSTRUCTIONS OF P-ALGEBRAS
    KATRINAK, T
    MEDERLY, P
    ALGEBRA UNIVERSALIS, 1983, 17 (03) : 288 - 316
  • [7] PROJECTIVE P-ALGEBRAS
    KATRINAK, T
    SEVCOVIC, D
    ALGEBRA UNIVERSALIS, 1991, 28 (02) : 280 - 300
  • [8] METACYCLIC P-ALGEBRAS
    KANG, MC
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 104 (03) : 697 - 698
  • [9] δ-ideals of p-algebras
    Badawy, Abd El-Mohsen
    El-Saady, Kamal
    Abd El-Baset, Essam
    SOFT COMPUTING, 2024, 28 (06) : 4715 - 4724
  • [10] INTERPRETATIONS INTO P-ALGEBRAS
    CARTAGENA, O
    GONZALEZ, C
    LEWIN, R
    RUBILAR, O
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1991, 112 (02) : 339 - 342
12345