Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,179,148 papers from all fields of science
Search
Sign In
Create Free Account
Stone's representation theorem for Boolean algebras
Known as:
Boolean space
, Stone's representation theorem
, M. H. Stone's representation theorem
Expand
In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a field of sets. The theorem…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (2)
Boolean algebra
Categorical logic
Category theory
Hilbert space
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
THE STONE REPRESENTATION THEOREM FOR BOOLEAN ALGEBRAS
R. Oliveira
2016
Corpus ID: 37714953
The study of Boolean algebras, has had a big impact on a variety of fields in mathematics. From functional analysis to other…
Expand
2011
2011
THE STONE REPRESENTATION THEOREM FOR BOOLEAN ALGEBRAS
Matthew C. Dirks
2011
Corpus ID: 15914182
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean…
Expand
2006
2006
Boolean Algebras for Lambda Calculus
Giulio Manzonetto
,
A. Salibra
21st Annual IEEE Symposium on Logic in Computer…
2006
Corpus ID: 14481414
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In…
Expand
Highly Cited
2005
Highly Cited
2005
A representation theorem for Boolean contact algebras
I. Düntsch
,
M. Winter
Theor. Comput. Sci.
2005
Corpus ID: 15370021
Highly Cited
2001
Highly Cited
2001
A Module for Radiation Hydrodynamic Calculations with ZEUS-2D Using Flux-limited Diffusion
N. Turner
,
J. Stone
2001
Corpus ID: 17353177
A module for the ZEUS-2D code is described that may be used to solve the equations of radiation hydrodynamics to order unity in v…
Expand
Highly Cited
1996
Highly Cited
1996
Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions
A. Narayan
,
J. Jain
,
Masaki Fujita
,
A. Sangiovanni-Vincentelli
ICCAD
1996
Corpus ID: 122665530
We present a new representation for Boolean functions called Partitioned ROBDDs. In this representation we divide the Boolean…
Expand
Highly Cited
1994
Highly Cited
1994
Global Optimization for Satisfiability (SAT) Problem
Jun Gu
IEEE Trans. Knowl. Data Eng.
1994
Corpus ID: 24083255
The satisfiability (SAT) problem is a fundamental problem in mathematical logic, inference, automated reasoning, VLSI engineering…
Expand
Highly Cited
1991
Highly Cited
1991
An Essay in Combinatory Dynamic Logic
Solomon Passay
,
Tinko Tinchev
Inf. Comput.
1991
Corpus ID: 31430038
Highly Cited
1989
Highly Cited
1989
An Introduction to Lattices and Order
B. Davey
,
H. Priestley
1989
Corpus ID: 120936390
1. Ordered sets 2. Special types of ordered set 3. Lattices as algebraic structures 4. Boolean algebras 5. The structure of…
Expand
Highly Cited
1988
Highly Cited
1988
A Stone-type representation theorem for algebras of relations of higher rank
H. Andréka
,
R. J. Thompson
1988
Corpus ID: 33291144
The Stone representation theorem for Boolean algebras gives us a finite set of equations axiomatizing the class of Boolean set…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE