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