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