Archives
Keywords
Foundations Diamond-sharp Coherent tree Partition Relations Generalized Clubs Absoluteness Iterated forcing Luzin set Reduced Power Almost Souslin transformations incompactness free Souslin tree SNR Fodor-type reflection Dushnik-Miller Axiom R Strongly Luzin set Countryman line Whitehead Problem Amenable C-sequence Lipschitz reduction b-scale square P-Ideal Dichotomy Prevalent singular cardinals tensor product graph Vanishing levels Forcing Precaliber nonmeager set Shelah's Strong Hypothesis Successor of Regular Cardinal Respecting tree Erdos Cardinal O-space Diamond for trees Prikry-type forcing Parameterized proxy principle Forcing Axioms Hedetniemi's conjecture Minimal Walks Weakly compact cardinal AIM forcing weak square Hereditarily Lindelöf space Kurepa Hypothesis xbox Distributive tree Analytic sets Postprocessing function Subtle tree property Local Club Condensation. Poset Ineffable cardinal reflection principles Singular cardinals combinatorics super-Souslin tree Slim tree stationary reflection Nonspecial tree Filter reflection Souslin Tree Commutative cancellative semigroups Singular cofinality Singular Density Knaster and friends specializable Souslin tree positive partition relation Sigma-Prikry strongly bounded groups polarized partition relation approachability ideal Club Guessing Closed coloring ZFC construction higher Baire space Successor of Singular Cardinal Jonsson cardinal Rado's conjecture Almost countably chromatic Rock n' Roll Square-Brackets Partition Relations Commutative projection system Generalized descriptive set theory ccc Small forcing Strongly compact cardinal projective Boolean algebra Antichain unbounded function Large Cardinals Almost-disjoint family Uniformization GMA square principles Fast club Rainbow sets Open Access Ostaszewski square Diamond Chromatic number stationary hitting Knaster OCA Ascent Path Intersection model Dowker space stick club_AD Ramsey theory over partitions Strong coloring PFA(S)[S] Aronszajn tree Subtle cardinal Non-saturation Cardinal function coloring number Subadditive Subnormal ideal Chang's conjecture indecomposable ultrafilter Sierpinski's onto mapping principle countably metacompact Erdos-Hajnal graphs Martin's Axiom Fat stationary set sap Reflecting stationary set regressive Souslin tree Microscopic Approach L-space middle diamond Ulam matrix full tree C-sequence 54G20 HOD diamond star Sakurai's Bell inequality S-Space Hindman's Theorem weak Kurepa tree Cardinal Invariants Well-behaved magma Cohen real PFA Greatly Mahlo Mandelbrot set weak diamond Selective Ultrafilter Was Ulam right Universal Sequences Uniformly coherent Uniformly homogeneous free Boolean algebra Constructible Universe very good scale
Tag Archives: 03E57
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if $\mu^{cf(\lambda)}<\lambda$ for all $\mu<\lambda$, … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
A forcing axiom deciding the generalized Souslin Hypothesis
Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 Comment
