Archives
Keywords
Cohen real Foundations Prikry-type forcing Knaster Hindman's Theorem Dushnik-Miller middle diamond Amenable C-sequence Souslin Tree 54G20 GMA weak diamond polarized partition relation Square-Brackets Partition Relations C-sequence Fast club Ostaszewski square transformations P-Ideal Dichotomy Strong coloring Successor of Singular Cardinal Hereditarily Lindelöf space Rock n' Roll Chang's conjecture Club Guessing b-scale Jonsson cardinal Vanishing levels Parameterized proxy principle Mandelbrot set Analytic sets Uniformly homogeneous Subnormal ideal countably metacompact indecomposable ultrafilter Axiom R Non-saturation Diamond-sharp Absoluteness Large Cardinals Diamond for trees Whitehead Problem Singular cardinals combinatorics Chromatic number full tree Subtle cardinal Reduced Power HOD Successor of Regular Cardinal stationary hitting Cardinal Invariants weak Kurepa tree weak square PFA(S)[S] Sakurai's Bell inequality O-space Singular Density Commutative cancellative semigroups Ascent Path positive partition relation Subtle tree property ccc Hedetniemi's conjecture Slim tree Ulam matrix square principles Forcing free Boolean algebra Partition Relations Diamond Erdos Cardinal Fodor-type reflection Sigma-Prikry Kurepa Hypothesis Uniformly coherent Reflecting stationary set Lipschitz reduction club_AD Subadditive Local Club Condensation. Well-behaved magma Rado's conjecture incompactness Was Ulam right higher Baire space Closed coloring Sierpinski's onto mapping principle L-space Filter reflection S-Space Strongly Luzin set square very good scale stick Martin's Axiom Weakly compact cardinal Iterated forcing Ineffable cardinal Cardinal function xbox Singular cofinality Antichain Knaster and friends specializable Souslin tree Minimal Walks Universal Sequences Microscopic Approach stationary reflection free Souslin tree Generalized Clubs Aronszajn tree approachability ideal OCA Fat stationary set Forcing Axioms Nonspecial tree PFA Uniformization SNR Coherent tree AIM forcing Rainbow sets Small forcing regressive Souslin tree Prevalent singular cardinals Open Access projective Boolean algebra coloring number Selective Ultrafilter reflection principles Erdos-Hajnal graphs super-Souslin tree Luzin set diamond star strongly bounded groups Postprocessing function tensor product graph Distributive tree Poset Shelah's Strong Hypothesis Constructible Universe Dowker space Precaliber Almost-disjoint family unbounded function sap nonmeager set Almost Souslin Almost countably chromatic Ramsey theory over partitions Generalized descriptive set theory ZFC construction Greatly Mahlo
Blog Archives
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