Open Research Index

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation

Prosenjit Howlader, Leonard Kwuida, Mike Behrisch, Churn-Jung Liau

arXivarxiv/2601.01418Jan 4, 2026math.LOscore 0

Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to Wille's original definition. This reduction allows improved structural results, including a refined Boolean representation theorem showing fewer conditions suffice to represent a dBa as a pair of Boolean algebras linked by adjoint maps. We generalize the glued-sum construction to possibly overlapping Boolean algebras, characterize them via a generalized order, and establish a Stone-type topological representation:…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2601.01418
curl -X POST /api/v1/records/arxiv/2601.01418/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.01418/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'