The decidability of some classes of Stone algebras

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

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

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

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

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)