Work

Decidable quasivarieties of p‐algebras

Year: 2025

Type: article

Abstract: 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.

Source: Mathematical logic quarterly

DOI: 10.1002/malq.202300064

Authors: Tomasz Kowalski, Katarzyna Słomczyńska

Institutions: Jagiellonian University, The University of Queensland, La Trobe University, Uniwersytet Komisji Edukacji Narodowej w Krakowie

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,900

Funder: Narodowe Centrum Nauki