The decidability of some classes of Stone algebras

DOI10.1007/S00012-012-0173-4zbMATH Open1248.03016OpenAlexW2043485254WikidataQ106095055 ScholiaQ106095055MaRDI QIDQ412007FDOQ412007

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

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)

Cites Work

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

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Computer Science Logic 👍 👎
• Decidability in Pre-rough Algebras: Extended Abstract 👍 👎
• Decidability problem for finite Heyting algebras 👍 👎
• About Stone space of one Boolean algebra 👍 👎

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)