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