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