On the strong Freese-Nation property

DOI10.1007/S11083-016-9389-9MaRDI QIDQ523147zbMATH OpenOpenAlexFDO

Authors David Milovich

Publication date 20 April 2017

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.7443

zbMATH Keywords

Boolean algebrasFreese-Nation propertylong \(\omega_{1}\)-approximation sequencesequences of elementary submodelsstrong Freese-Nation property

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Structure theory of Boolean algebras (06E05) Chain conditions, complete algebras (06E10) Stone spaces (Boolean spaces) and related structures (06E15)

Abstract: We show that there is a boolean algebra that has the Freese-Nation property (FN) but not the strong Freese-Nation property (SFN), thus answering a question of Heindorf and Shapiro. Along the way, we produce some new characterizations of the FN and SFN in terms of sequences of elementary submodels.

Review text

A Boolean algebra \(A\) has the Freese-Nation property if there is a function \(f:A\rightarrow[A]^{<\omega}\) such that for all \(a\leq b\) in \(A\) there is a \(c\in[x,y]\cap f(x)\cap f(y)\). Subalgebras \(B\), \(C\) of \(A\) commute if for all \(b\in B\) and \(c\in C\), if \(b\leq c\) (resp. \(c\leq b\)) then \([x,y]\cap A\cap B\not=\emptyset\) (resp. \([y,x]\cap A\cap B\not=\emptyset\)). \(A\) has the strong Freese-Nation property if there is a directed family \(C\) of pairwise commuting finite subalgebras of \(A\) such that \(\bigcup C=A\). The author shows that there is a Boolean algebra which has the Freese-Nation property but not the strong Freese-Nation property. To do the construction he introduces equivalent formulations of both properties involving sequences of elementary submodels.

Recommendations

• On the weak Freese-Nation property of complete Boolean algebras
• Topological spaces with the Freese-nation property. II
• The \((\lambda ,\kappa )\)-Freese-Nation property for Boolean algebras and compacta
• scientific article; zbMATH DE number 1083158
• Partial orderings with the weak Freese-Nation property

Cites work

• Covering the Plane with Denumerably Many Curves
• Functors and uncountable powers of compacta
• scientific article; zbMATH DE number 3533748 (Why is no real title available?)
• scientific article; zbMATH DE number 3293602 (Why is no real title available?)
• Minimally generated Boolean algebras
• Noetherian types of homogeneous compacta and dyadic compacta
• ON $ \kappa$-METRIZABLE SPACE
• On a lattice problem of H. Steinhaus
• Partial orderings with the weak Freese-Nation property
• Projective lattices
• The \((\lambda ,\kappa )\)-Freese-Nation property for Boolean algebras and compacta

Cited in

(8)

• Telgársky's conjecture may fail
• Team games, hypergraph spaces, and projective Boolean algebras
• Topological spaces with the Freese-nation property
• Topological spaces with the Freese-nation property. II
• scientific article; zbMATH DE number 1083158 (Why is no real title available?)
• Infinite combinatorics plain and simple
• On the weak Freese-Nation property of complete Boolean algebras
• On the weak Freese-Nation property of \({\mathcal P}(\omega)\)

This page was built for publication: On the strong Freese-Nation property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q523147)