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