works on
boolean algebras 1coherent separations 1freese-nation property 1projective algebras 1weakly projective algebras 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

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

Tomasz Kania, Andrzej Kucharski, Sławomir Turek

The authors define a coherent finite‑separation strengthening of the Freese–Nation property and prove that a Boolean algebra is projective precisely when it has a meet‑closed decom…