Archives
Keywords
Rock n' Roll Chang's conjecture Ineffable cardinal Singular cardinals combinatorics GMA Was Ulam right Jonsson cardinal P-Ideal Dichotomy Axiom R Uniformly homogeneous countably metacompact Fast club Vanishing levels Ramsey theory over partitions Commutative cancellative semigroups stationary reflection Sigma-Prikry ZFC construction Shelah's Strong Hypothesis Analytic sets stick Generalized descriptive set theory polarized partition relation full tree Uniformization Nonspecial tree free Souslin tree b-scale positive partition relation regressive Souslin tree Subtle tree property Slim tree Large Cardinals Almost Souslin Constructible Universe Strong coloring Hindman's Theorem square principles Dushnik-Miller PFA(S)[S] Fat stationary set stationary hitting ccc Foundations Dowker space Hereditarily Lindelöf space Ostaszewski square Aronszajn tree Reflecting stationary set nonmeager set unbounded function tensor product graph projective Boolean algebra Knaster specializable Souslin tree Ascent Path Reduced Power weak square Club Guessing S-Space middle diamond 54G20 Universal Sequences Generalized Clubs reflection principles very good scale Iterated forcing Sierpinski's onto mapping principle C-sequence Greatly Mahlo Whitehead Problem Square-Brackets Partition Relations Small forcing Distributive tree square PFA Chromatic number Local Club Condensation. Mandelbrot set Partition Relations Selective Ultrafilter Postprocessing function Erdos Cardinal approachability ideal higher Baire space Subnormal ideal Amenable C-sequence Souslin Tree Well-behaved magma Singular cofinality Coherent tree Non-saturation transformations Fodor-type reflection incompactness Prikry-type forcing Hedetniemi's conjecture Poset Diamond Sakurai's Bell inequality Uniformly coherent coloring number Singular Density free Boolean algebra sap Closed coloring club_AD Martin's Axiom super-Souslin tree diamond star xbox Forcing Axioms Successor of Regular Cardinal Precaliber Subadditive Subtle cardinal Lipschitz reduction Cohen real Parameterized proxy principle Strongly Luzin set Knaster and friends Filter reflection Microscopic Approach Antichain Open Access Prevalent singular cardinals HOD Almost countably chromatic weak diamond Absoluteness Minimal Walks OCA Almost-disjoint family strongly bounded groups Cardinal Invariants indecomposable ultrafilter Diamond-sharp Cardinal function Forcing O-space AIM forcing Erdos-Hajnal graphs Diamond for trees SNR weak Kurepa tree Successor of Singular Cardinal Rado's conjecture Ulam matrix Weakly compact cardinal Kurepa Hypothesis Luzin set L-space Rainbow sets
Tag Archives: Successor of Singular Cardinal
Perspectives on Set Theory, November 2023
I gave an invited talk at the Perspectives on Set Theory conference, November 2023. Talk Title: May the successor of a singular cardinal be Jónsson? Abstract: We’ll survey what’s known about the question in the title and collect ten open … Continue reading
Posted in Invited Talks, Open Problems, Partition Relations
Tagged Jonsson cardinal, Successor of Singular Cardinal
Comments Off on Perspectives on Set Theory, November 2023
Sigma-Prikry forcing III: Down to Aleph_omega
Joint work with Alejandro Poveda and Dima Sinapova. Abstract. We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classical results of … Continue reading
Sigma-Prikry forcing II: Iteration Scheme
Joint work with Alejandro Poveda and Dima Sinapova. Abstract. In Part I of this series, we introduced a class of notions of forcing which we call $\Sigma$-Prikry, and showed that many of the known Prikry-type notions of forcing that centers … Continue reading
Sigma-Prikry forcing I: The Axioms
Joint work with Alejandro Poveda and Dima Sinapova. Abstract. We introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality … Continue reading
Putting a diamond inside the square
Abstract. By a 35-year-old theorem of Shelah, $\square_\lambda+\diamondsuit(\lambda^+)$ does not imply square-with-built-in-diamond_lambda for regular uncountable cardinals $\lambda$. Here, it is proved that $\square_\lambda+\diamondsuit(\lambda^+)$ is equivalent to square-with-built-in-diamond_lambda for every singular cardinal $\lambda$. Downloads: Citation information: A. Rinot, Putting a diamond inside … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Diamond, square, Successor of Singular Cardinal
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
The failure of diamond on a reflecting stationary set
Joint work with Moti Gitik. Abstract: It is shown that the failure of $\diamondsuit_S$, for a subset $S\subseteq\aleph_{\omega+1}$ that reflects stationarily often, is consistent with GCH and $\text{AP}_{\aleph_\omega}$, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading
A relative of the approachability ideal, diamond and non-saturation
Abstract: Let $\lambda$ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square^*_\lambda$ together with $2^\lambda=\lambda^+$ implies $\diamondsuit_S$ for every $S\subseteq\lambda^+$ that reflects stationarily often. In this paper, for a subset $S\subset\lambda^+$, a normal subideal of … Continue reading
Transforming rectangles into squares, with applications to strong colorings
Abstract: It is proved that every singular cardinal $\lambda$ admits a function $\textbf{rts}:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. That is, whenever $A,B$ are cofinal subsets of $\lambda^+$, we have $\textbf{rts}[A\circledast B]\supseteq C\circledast C$, for some cofinal subset $C\subseteq\lambda^+$. As a … Continue reading