Stone's representation theorem for Boolean algebras

Known as: Boolean space, Stone's representation theorem, M. H. Stone's representation theorem 
In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a field of sets. The theorem… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The study of Boolean algebras, has had a big impact on a variety of fields in mathematics. From functional analysis to other… (More)
Is this relevant?
2015
2015
We prove a representation theorem for non-monotonic inference relations that are defined over elements of some Boolean algebras… (More)
Is this relevant?
2011
2011
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean… (More)
Is this relevant?
2011
2011
We define Boolean algebras over nominal sets with a functionsymbol Nmirroring the N‘fresh name’ quantifier. We also define dual… (More)
  • figure 1
Is this relevant?
2010
2010
The Stone representation theorem for Boolean algebras gives us a finite set of equations axiomatizing the class of Boolean set… (More)
Is this relevant?
2008
2008
This note contains a Stone-style representation theorem for compact Haus-dorff spaces. The note is very much inspired by some… (More)
Is this relevant?
2006
2006
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus… (More)
Is this relevant?
1996
1996
In this paper we present the topological version of the classical Stone's representation theorem for Boolean hyperalgebras. 
Is this relevant?
1994
1994
  • Jun Gu
  • IEEE Trans. Knowl. Data Eng.
  • 1994
The satisfiability (SAT) problem is a fundamental problem in mathematical logic, inference, automated reasoning, VLSI engineering… (More)
Is this relevant?