Characterising projective and weakly projective Boolean algebras by coherent Freese--Nation separations

Tomasz Kania, Andrzej Kucharski, Sławomir Turek

We isolate a coherent finite-separation strengthening of the Freese--Nation property and use it to characterise projective and weakly projective Boolean algebras. A Boolean algebra…