### Archives

### Recent blog posts

- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014

### Keywords

Universal Sequences 05D10 Antichain Stevo Todorcevic Shelah's Strong Hypothesis Mandelbrot set Slim tree Commutative cancellative semigroups Chromatic number stationary reflection Absoluteness Cardinal function xbox 20M14 05A17 approachability ideal middle diamond Uniformization weak square Fodor-type reflection Minimal Walks square Reduced Power Generalized Clubs Hedetniemi's conjecture stationary hitting Rock n' Roll sap Singular Density OCA Jonsson cardinal Dushnik-Miller Uniformly coherent S-Space Souslin Tree Parameterized proxy principle Erdos-Hajnal graphs Forcing reflection principles Weakly compact cardinal coloring number Microscopic Approach 11P99 incompactness Sakurai's Bell inequality PFA(S)[S] Cardinal Invariants Diamond Martin's Axiom HOD Coherent tree Partition Relations Nonspecial tree Chang's conjecture Poset Ostaszewski square Foundations Fast club P-Ideal Dichotomy Fat stationary set Square-Brackets Partition Relations PFA tensor product graph projective Boolean algebra ccc Singular cardinals combinatorics weak diamond Large Cardinals Aronszajn tree free Boolean algebra Almost Souslin Whitehead Problem L-space Axiom R Successor of Singular Cardinal Knaster very good scale Erdos Cardinal Luzin set Kurepa Hypothesis Postprocessing function Club Guessing Almost-disjoint famiy Non-saturation Hindman's Theorem Singular coﬁnality Distributive tree Small forcing Almost countably chromatic Prikry-type forcing Rado's conjecture Forcing Axioms Cohen real b-scale Successor of Regular Cardinal Hereditarily Lindelöf space Selective Ultrafilter Ascent Path Prevalent singular cardinals Rainbow sets polarized partition relation Constructible Universe square principles diamond star

# Tag Archives: free Boolean algebra

## Openly generated Boolean algebras and the Fodor-type reflection principle

Joint work with Sakaé Fuchino. Abstract: 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 … Continue reading