{"id":"arxiv/2606.09580","url":"https://arxiv.org/abs/2606.09580","tags":["math.LO"],"score":0,"title":"Characterising projective and weakly projective Boolean algebras by coherent Freese--Nation separations","domain":"math.LO","source":"arxiv","authors":["Tomasz Kania","Andrzej Kucharski","Sławomir Turek"],"reviews":0,"subject":"math.LO","summary":"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 is projective if and only if it has a meet-closed decomposition base carrying such a coherent finite-separation map; it is weakly projective if and only if it has a meet-closed $π$-base carrying one. The global form of the same property is much stronger: the positive cone of a Boolean algebra carries a coherent finite-separation map if and only if the algebra is countable. Thus the projective and weakly projective…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}