On the strong Freese-Nation property
Logic
2017-06-27 v2
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.
Keywords
Cite
@article{arxiv.1412.7443,
title = {On the strong Freese-Nation property},
author = {David Milovich},
journal= {arXiv preprint arXiv:1412.7443},
year = {2017}
}
Comments
19 pages; minor correction in Section 5