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