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