\(\alpha \)-cut-complete Boolean algebras (Q1966136): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s000120050067 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008733335 / rank | |||
Normal rank |
Latest revision as of 20:58, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\alpha \)-cut-complete Boolean algebras |
scientific article |
Statements
\(\alpha \)-cut-complete Boolean algebras (English)
0 references
27 February 2000
0 references
Let \(A\) be a Boolean algebra and \(\alpha \) an infinite cardinal. An \(\alpha \)-cut in \(A\) is a pair \((F,H)\) of subsets of \(A\), each of size less than \(\alpha \), with \(F\leq H\) elementwise and with 0 as the meet of differences \(h-f\) for \(h\in H\), \(f\in F\). \(A\) is \(\alpha \)-cut-complete if for each \(\alpha \)-cut \((F,H)\) there is \(a\in A\) with \(F\leq a \leq H\) elementwise. The simply constructed \(\alpha \)-cut-completion \(A^{\alpha }\) is described and it is shown that \(\alpha \)-cut-completeness solves a natural \(\alpha \)-injectivity problem. The author determines when \(A^{\alpha }\) is the \(\alpha \)-completion or the completion and interprets most of that topologically in Stone spaces. Although these considerations seem to be new for Boolean algebras, they have been used for \(\alpha = \omega _1\) for lattice-ordered groups and vector lattices.
0 references
Boolean algebra
0 references
\(\alpha \)-cut-completion
0 references
\(\alpha \)-injective
0 references
\(\alpha \)-closed space
0 references