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