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