Nearly projective Boolean algebras
Cohen algebrasconsistencyfree Boolean algebrasgeneralizations of projective Boolean algebrasopenly generated Boolean spacessurvey
Consistency and independence results (03E35) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Structure theory of Boolean algebras (06E05) Stone spaces (Boolean spaces) and related structures (06E15) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Hyperspaces in general topology (54B20) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)
This book is a self-contained survey, with full proofs, of various generalizations of projective Boolean algebras. Recall that a BA \(A\) is called projective if for any homomorphisms \(f : A \to B\) and \(g : C \to B\) with \(g\) onto, there is a homomorphism \(h : A \to C\) such that \(g \circ h = f\). This is an important concept of category theory, studied for many categories. The book studies in great detail several generalizations of projective BA's, of which we mention two. (1) A BA \(B\) is rc-filtered if one can associate with each element \(b \in B\) two finite sets \(U(b) \subseteq \{c \in B : b \leq c\}\) and \(L(b) \subseteq \{c \in B : c \leq b\}\) such that for all \(a,b \in B\), if \(a \leq b\) then \(U(a) \cap L(b) \neq \emptyset\). Several equivalent versions of this definition are given, one of which justifies the terminology (``rc for ``relatively complete). Another equivalent gives the topological version: openly generated Boolean spaces, studied for more general spaces by Ščepin. The closure and non-closure properties of the class of rc-filtered BA's under algebraic operations are discussed, and a fairly complete description of the cardinal functions defined on these algebras is given. It is shown that if \(| B| = \aleph_ 1\), then \(B\) is isomorphic to the free BA on \(\aleph_ 1\) free generators iff \(B\) is a subalgebra of an rc-filtered BA and the Stone space of \(B\) is homogeneous. Several questions of Ščepin concerning these spaces are answered. Of course every projective algebra is rc-filtered. The theory of rc-filtered BA's is used to prove some results about the exponential of free BA's: for \(A\) free and of size \(\omega\) or \(\omega_ 1\), \(\text{Exp }A \cong A\), while for \(A\) free and of size \(> \omega_ 1\), \(\text{Exp }A\) is not even projective. (2) Two BA's \(A\) and \(B\) are co-absolute if they have isomorphic completions; this is the algebraic version of spaces being co-absolute. A BA \(A\) is called weakly projective if it is co-absolute with a projective BA. The ccc weakly projective BA's are exactly the Cohen algebras introduced by S. Koppelberg. Several equivalent definitions of weakly projective BA's are given. It is shown that every subalgebra of a projective BA is weakly projective. A BA is weakly projective iff its exponential is. There is an rc-filtered BA which is not weakly projective. The book closes with an appendix by S. Fuchino giving some consistency results about some of the notions of the book.
- Semi-Cohen Boolean algebras
- On tightly -filtered Boolean algebras.
- Partial orderings with the weak Freese-Nation property
- Team games, hypergraph spaces, and projective Boolean algebras
- Topological spaces with the Freese-nation property
- A generalization of \(\varkappa\)-metrizable spaces
- Noetherian types of homogeneous compacta and dyadic compacta
- Skeletally Dugundji spaces
- Boolean algebras admitting a countable minimally acting group
- Topological spaces with the Freese-nation property. II
- Special subalgebras of Boolean algebras
- The \((\lambda ,\kappa )\)-Freese-Nation property for Boolean algebras and compacta
- The number of openly generated Boolean algebras
- Projective algebras
- On the weak Freese-Nation property of complete Boolean algebras
- Game theoretic approach to skeletally Dugundji and Dugundji spaces
- A note on the Freese–Nation property and topological games
- A game on partial orderings
- Monotone-Cevian and finitely separable lattices
- Injective and projective T-Boolean algebras
- Game approach to universally Kuratowski-Ulam spaces
- Inverse systems and I-favorable spaces
This page was built for publication: Nearly projective Boolean algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1341433)
