Prefer a chat interface with context about you and your work?
Openly generated Boolean algebras and the Fodor-type reflection principle
We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is $\aleph _2$-projective. Previously it was known that this characterization of openly generated Boolean