The Theory of Representations for Boolean Algebras

Stone, M. H. (1936). The Theory of Representations for Boolean Algebras. Transactions of the American Mathematical Society, 40(1), 37-111.

Type

Journal article

Intellectual base

Primary research

Year

1936

Volume

40

Issue

1

Pages

37-111

ISSN

0002-9947

DOI

10.1090/s0002-9947-1936-1501865-8

DOI registrant

American Mathematical Society

Link

https://doi.org/10.1090/S0002-9947-1936-1501865-8

Cited from

mathematics

Cited by

5 citations across 5 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Associativity
  • Formal frameworks for associativity appear in universal algebra (Birkhoff (1935) on the structure of abstract algebras codifies associative laws as identities ), Stone duality for Boolean algebras (Stone (1936) pairs Boolean algebras — whose join and meet operations are associative — with their dual topological spaces)

    This sourceEstablishes the Stone representation theorem, pairing Boolean algebras (whose join and meet are associative) with their dual Stone spaces; Verified; venue (vol. 40, pp. 37-111) and DOI confirmed.

• Completeness
  • Stone's 1937 representation theorem establishes that every Boolean algebra is isomorphic to a field of sets, providing a completeness-style universal representation result for Boolean lattices.

    This sourceStone's representation theorem, establishing that every Boolean algebra is isomorphic to a field of sets — a completeness-style universal representation result for Boolean lattices.

• Duality
  • … hard in primal form can be recast and solved in dual form (where the Lagrangian dual and the LP dual are the canonical industrial cases), logical operations in one vocabulary (∧, ∀) translate mechanically to the other (∨, ∃) via De Morgan's laws, topological and algebraic categories (Boolean algebras ↔ Stone spaces

    This sourcePairs Boolean algebras with Stone spaces (totally disconnected compact Hausdorff spaces). Follow-up: "Applications of the Theory of Boolean Rings to General Topology." Trans. AMS 41, no. 3 (1937): 375–481. Modern treatment: Johnstone, Stone Spaces (Cambridge UP, 1982).

Domain-specific

• Boolean algebra
  • … between constitutive identity and a convenient observable transfers from A canonical example satisfies the full defining rule of Boolean algebra with assumptions and conventions explicit. to A careful use of Boolean algebra tests the constitutive rule and nearest confusable rather than relying on the label alone..
• Stone duality
  • Classical Stone duality is the contravariant equivalence between Boolean algebras and Stone spaces, where a Boolean algebra maps to its compact Hausdorff zero-dimensional ultrafilter space and a Stone space maps to its Boolean algebra of clopen subsets.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 5 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://doi.org/10.2307/1989664 ×1

Registry ID ref:de440e5710f8 · see in the full table