Archives
Keywords
Ascending path GMA Lipschitz reduction Large Cardinals Successor of Regular Cardinal Club Guessing Commutative cancellative semigroups L-space nonmeager set reflection principles square principles Strongly Luzin set Kurepa Hypothesis Coherent tree tensor product graph projective Boolean algebra Diamond Vanishing levels stationary hitting Hereditarily Lindelöf space Ascent Path Selective Ultrafilter Distributive tree Singular cofinality Knaster Cardinal function Nonspecial tree stationary reflection Prikry-type forcing Universal Sequences free Boolean algebra Jonsson cardinal middle diamond PFA Subadditive HOD Knaster and friends polarized partition relation Almost-disjoint family Martin's Axiom Chromatic number Rainbow sets Iterated forcing regressive Souslin tree Absoluteness Reflecting stationary set 54G20 sap AIM forcing unbounded function Whitehead Problem Antichain very good scale weak diamond club_AD free Souslin tree Rado's conjecture Diamond-sharp Analytic sets Partition Relations Respecting tree Shelah's Strong Hypothesis Ostaszewski square Filter reflection Generalized Clubs Monotonically far Axiom R Hindman's Theorem Local Club Condensation. higher Baire space Souslin Tree Strongly compact cardinal Fat stationary set incompactness Amenable C-sequence Fast club Chang's conjecture transformations Entangled linear order Precaliber Dushnik-Miller Diamond for trees SNR Subtle cardinal Uniformization Singular cardinals combinatorics ccc Aronszajn tree Mandelbrot set Weakly compact cardinal Small forcing full tree xbox Forcing Greatly Mahlo approachability ideal Cohen real Slim tree specializable Souslin tree Minimal Walks Commutative projection system super-Souslin tree P-Ideal Dichotomy Square-Brackets Partition Relations Partition relations for trees Sigma-Prikry O-space Prevalent singular cardinals Hedetniemi's conjecture Ramsey theory over partitions Luzin set countably metacompact indecomposable filter Foundations Rock n' Roll Forcing with side conditions Subtle tree property S-Space Forcing Axioms Intersection model Dowker space Erdos-Hajnal graphs Cardinal Invariants Sakurai's Bell inequality Fodor-type reflection Ineffable cardinal positive partition relation Generalized descriptive set theory Erdos Cardinal diamond star strongly bounded groups Strong coloring stick Poset Well-behaved magma Open Access Interval topology on trees OCA Subnormal ideal Non-saturation Countryman line Almost countably chromatic weak square coloring number Was Ulam right? Singular Density Reduced Power Microscopic Approach ZFC construction Almost Souslin square Uniformly homogeneous Parameterized proxy principle PFA(S)[S] b-scale perfectly normal Sierpinski's onto mapping principle Constructible Universe C-sequence Postprocessing function Ulam matrix Uniformly coherent Successor of Singular Cardinal weak Kurepa tree Closed coloring
Tag Archives: square
Higher Souslin trees and the GCH, revisited
Abstract. It is proved that for every uncountable cardinal $\lambda$, GCH+$\square(\lambda^+)$ entails the existence of a $\text{cf}(\lambda)$-complete $\lambda^+$-Souslin tree. In particular, if GCH holds and there are no $\aleph_2$-Souslin trees, then $\aleph_2$ is weakly compact in Godel’s constructible universe, improving … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, Open Access, regressive Souslin tree, Souslin Tree, square, Weakly compact cardinal, xbox
16 Comments
A microscopic approach to Souslin-tree constructions. Part I
Joint work with Ari Meir Brodsky. Abstract. We propose a parameterized proxy principle from which $\kappa$-Souslin trees with various additional features can be constructed, regardless of the identity of $\kappa$. We then introduce the microscopic approach, which is a simple … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E65, 05C05, Coherent tree, Diamond, Microscopic Approach, Parameterized proxy principle, Slim tree, Souslin Tree, square, xbox
5 Comments
Square with built-in diamond-plus
Joint work with Ralf Schindler. Abstract. We formulate combinatorial principles that combine the square principle with various strong forms of diamond, and prove that the strongest amongst them holds in $L$ for every infinite cardinal. As an application, we prove that … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Almost Souslin, diamond star, Kurepa Hypothesis, Minimal Walks, Respecting tree, square, xbox
1 Comment
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
Chain conditions of products, and weakly compact cardinals
Abstract. The history of productivity of the $\kappa$-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every … Continue reading
Posted in Partition Relations, Publications
Tagged Aronszajn tree, ccc, Fat stationary set, Minimal Walks, square, Weakly compact cardinal
2 Comments
Square principles
Since the birth of Jensen’s original Square principle, many variations of the principle were introduced and intensively studied. Asaf Karagila suggested me today to put some order into all of these principles. Here is a trial. Definition. A square principle … Continue reading
The order-type of clubs in a square sequence
Recall Jensen’s notion of square: Definition (Jensen): For an infinite cardinal $\lambda$, $\square_\lambda$ asserts the existence of a sequence $\overrightarrow C=\left\langle C_\alpha\mid\alpha\in\text{acc}(\lambda^+)\right\rangle$ such that for every limit $\alpha<\lambda^+$: $C_\alpha$ is a club subset of $\alpha$ of order-type $\le\lambda$; if $\beta\in\text{acc}(C_\alpha)$, … Continue reading
Jensen’s diamond principle and its relatives
This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading
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
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
