Review history
Characterising projective and weakly projective Boolean algebras by coherent Freese--Nation separations
-
2026-08-02 CONDITIONAL
-
2026-06-27 UNVERDICTED
Characterising projective and weakly projective Boolean algebras by coherent Freese--Nation separations