2 papers
math.LO2024
Decidable varieties of p-algebras
Tomasz Kowalski, Katarzyna Słomczyńska
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…
math.LO2024
Quasivarieties of p-algebras: some new results
Tomasz Kowalski, Katarzyna Słomczyńska
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties ge…