On the strong Freese-Nation property (Q523147)

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.