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