The decidability of some classes of Stone algebras

DOI10.1007/S00012-012-0173-4MaRDI QIDQ412007zbMATH OpenOpenAlexWikidataFDO

Authors Martin Adamčík, Pavol Zlatoš

Publication date 3 May 2012

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-012-0173-4

zbMATH Keywords

decidabilityundecidabilityBoolean algebrasaxiomatic classesPost algebrasStone algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Pseudocomplemented lattices (06D15) Stone spaces (Boolean spaces) and related structures (06E15) Post algebras (lattice-theoretic aspects) (06D25)

Recommendations

• Definable sets in Stone algebras
• Decidability of elementary theories of certain finitely defined algebras
• On decidable varieties of Heyting algebras
• The Stone spaces of Boolean algebras
• Decidable properties of logical calculi and of varieties of algebras
• scientific article; zbMATH DE number 1916566
• Computer Science Logic
• Decidability in Pre-rough Algebras: Extended Abstract
• Decidability problem for finite Heyting algebras
• About the Stone space of a Boolean algebra

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 3550696 (Why is no real title available?)
• scientific article; zbMATH DE number 5488086 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidability problem for finite Heyting algebras
• Stone Lattices. I: Construction Theorems
• Stone Lattices. II. Structure Theorems
• Stonesche Verbände der Ordnung \(n\) und Postalgebren
• Undecidability of Some Topological Theories

This page was built for publication: The decidability of some classes of Stone algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412007)