Archives
Keywords
Partition Relations Rado's conjecture Hedetniemi's conjecture GMA diamond star ccc Cohen real Rock n' Roll Generalized descriptive set theory Hindman's Theorem Microscopic Approach Uniformly homogeneous Universal Sequences Reduced Power Sierpinski's onto mapping principle Ascent Path club_AD Rainbow sets Ostaszewski square Nonspecial tree full tree Knaster and friends Analytic sets Singular cardinals combinatorics Vanishing levels Martin's Axiom Iterated forcing PFA free Boolean algebra Prikry-type forcing Open Access Well-behaved magma Dowker space incompactness Fat stationary set Constructible Universe regressive Souslin tree super-Souslin tree Chang's conjecture Prevalent singular cardinals Erdos-Hajnal graphs Diamond-sharp Generalized Clubs stick Postprocessing function Precaliber 54G20 higher Baire space Strong coloring Kurepa Hypothesis very good scale approachability ideal Club Guessing Reflecting stationary set Distributive tree Fodor-type reflection strongly bounded groups Ineffable cardinal Subtle cardinal Cardinal function indecomposable ultrafilter Poset sap unbounded function Uniformization Absoluteness transformations Shelah's Strong Hypothesis Uniformly coherent Parameterized proxy principle Square-Brackets Partition Relations Aronszajn tree square Ramsey theory over partitions Antichain Knaster polarized partition relation Sakurai's Bell inequality Large Cardinals Selective Ultrafilter Small forcing free Souslin tree Lipschitz reduction countably metacompact AIM forcing Greatly Mahlo Dushnik-Miller Subadditive Commutative cancellative semigroups specializable Souslin tree b-scale HOD Filter reflection Subnormal ideal Singular cofinality tensor product graph Almost-disjoint family Fast club Weakly compact cardinal OCA Diamond Non-saturation Minimal Walks P-Ideal Dichotomy Hereditarily Lindelöf space Souslin Tree C-sequence stationary reflection Successor of Singular Cardinal Diamond for trees Jonsson cardinal Foundations Erdos Cardinal SNR weak square Successor of Regular Cardinal Luzin set Local Club Condensation. Axiom R Forcing Forcing Axioms O-space Almost Souslin coloring number Closed coloring square principles nonmeager set Sigma-Prikry Almost countably chromatic ZFC construction stationary hitting Was Ulam right weak diamond xbox Coherent tree Subtle tree property Slim tree PFA(S)[S] Chromatic number projective Boolean algebra reflection principles L-space Amenable C-sequence middle diamond Ulam matrix Cardinal Invariants positive partition relation Strongly Luzin set Mandelbrot set S-Space Singular Density Whitehead Problem
Tag Archives: weak square
A remark on Schimmerling’s question
Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether $\square^*_\lambda$ together with GCH entails the existence of a $\lambda^+$-Souslin tree, for a singular cardinal $\lambda$. Here, we provide an affirmative answer under the additional assumption that there exists a … Continue reading
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
The search for diamonds
Abstract: This is a review I wrote for the Bulletin of Symbolic Logic on the following papers: Saharon Shelah, Middle Diamond, Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. Saharon Shelah, Diamonds, Proceedings of the American Mathematical Society, vol. … Continue reading
Posted in Publications, Reviews, Squares and Diamonds
Tagged Diamond, middle diamond, weak diamond, weak square
1 Comment
A cofinality-preserving small forcing may introduce a special Aronszajn tree
Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E04, 03E05, 03E35, Aronszajn tree, Small forcing, Successor of Singular Cardinal, weak square
Leave a comment
Young Researchers in Set Theory, March 2011
These are the slides of a talk I gave at the Young Researchers in Set Theory 2011 meeting (Königswinter, 21–25 March 2011). Talk Title: Around Jensen’s square principle Abstract: Jensen‘s square principle for a cardinal $\lambda$ asserts the existence of a particular ladder … Continue reading