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