The decidability of some classes of Stone algebras

DOI10.1007/S00012-012-0173-4zbMath1248.03016OpenAlexW2043485254WikidataQ106095055 ScholiaQ106095055MaRDI QIDQ412007

Pavol Zlatoš, Martin Adamčík

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

undecidabilityBoolean algebrasdecidabilityaxiomatic classesPost algebrasStone algebras

Mathematics Subject Classification ID

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

Cites Work

• Stonesche Verbände der Ordnung \(n\) und Postalgebren
• Decidability problem for finite Heyting algebras
• Decidability and Boolean representations
• Stone Lattices. I: Construction Theorems
• Stone Lattices. II. Structure Theorems
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Undecidability of Some Topological Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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