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