Archives
Keywords
Analytic sets Strong coloring Erdos Cardinal middle diamond Ascent Path Uniformization Ulam matrix Subadditive Almost-disjoint family Interval topology on trees Axiom R Erdos-Hajnal graphs Strongly Luzin set Entangled linear order regressive Souslin tree stick Rock n' Roll Constructible Universe SNR Commutative projection system transformations Selective Ultrafilter Singular Density Fast club square principles Almost Souslin Iterated forcing Foundations Whitehead Problem Rado's conjecture Hereditarily Lindelöf space free Boolean algebra Sierpinski's onto mapping principle Closed coloring Minimal Walks tensor product graph weak Kurepa tree Open Access C-sequence Prikry-type forcing Martin's Axiom Sakurai's Bell inequality Generalized Clubs projective Boolean algebra positive partition relation Precaliber Forcing Diamond-sharp Dowker space PFA(S)[S] AIM forcing Souslin Tree Prevalent singular cardinals perfectly normal Monotonically far stationary reflection PFA Cardinal function Cardinal Invariants stationary hitting Countryman line Hedetniemi's conjecture Kurepa Hypothesis xbox Jonsson cardinal Ramsey theory over partitions S-Space Mandelbrot set polarized partition relation Non-saturation Sigma-Prikry P-Ideal Dichotomy specializable Souslin tree Weakly compact cardinal GMA Local Club Condensation. 54G20 Vanishing levels weak square Strongly compact cardinal ZFC construction Knaster and friends Filter reflection Respecting tree Subtle cardinal Parameterized proxy principle free Souslin tree Greatly Mahlo Subnormal ideal Reduced Power Intersection model weak diamond Shelah's Strong Hypothesis Club Guessing Lipschitz reduction Ostaszewski square Knaster Cohen real Absoluteness incompactness Reflecting stationary set Luzin set Partition Relations Fodor-type reflection nonmeager set Subtle tree property Partition relations for trees Well-behaved magma Small forcing b-scale Aronszajn tree Universal Sequences unbounded function indecomposable filter ccc Hindman's Theorem Fat stationary set Generalized descriptive set theory Coherent tree L-space Large Cardinals full tree Forcing with side conditions very good scale OCA Rainbow sets Chang's conjecture higher Baire space Was Ulam right? Almost countably chromatic Postprocessing function Commutative cancellative semigroups Nonspecial tree Antichain Chromatic number countably metacompact Ineffable cardinal Distributive tree Diamond HOD Diamond for trees O-space diamond star Ascending path Singular cofinality Poset approachability ideal Forcing Axioms Uniformly homogeneous Square-Brackets Partition Relations strongly bounded groups Slim tree Dushnik-Miller Amenable C-sequence Microscopic Approach coloring number reflection principles square sap Singular cardinals combinatorics Successor of Singular Cardinal super-Souslin tree Successor of Regular Cardinal club_AD Uniformly coherent
Tag Archives: Diamond
Diamond on Kurepa trees
Joint work with Ziemek Kostana and Saharon Shelah. Abstract. We introduce a new weak variation of diamond that is meant to guess only the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by … Continue reading
Strongest transformations
Joint work with Jing Zhang. Abstract. We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest … Continue reading
Posted in Partition Relations, Publications
Tagged Diamond, Minimal Walks, square, Square-Brackets Partition Relations, stick, transformations, xbox
2 Comments
A microscopic approach to Souslin-tree constructions. Part II
Joint work with Ari Meir Brodsky. Abstract. In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known $\diamondsuit$-based constructions of Souslin trees with various additional properties may be rendered as applications of … Continue reading
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if $\mu^{cf(\lambda)}<\lambda$ for all $\mu<\lambda$, … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
A forcing axiom deciding the generalized Souslin Hypothesis
Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 Comment
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
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
Many diamonds from just one
Recall Jensen’s diamond principle over a stationary subset $S$ of a regular uncountable cardinal $\kappa$: there exists a sequence $\langle A_\alpha\mid \alpha\in S \rangle$ such that $\{\alpha\in S\mid A\cap\alpha=A_\alpha\}$ is stationary for every $A\subseteq\kappa$. Equivalently, there exists a sequence $\langle … Continue reading
Variations on diamond
Jensen’s diamond principle has many equivalent forms. The translation between these forms is often straight-forward, but there is one form whose equivalence to the usual form is somewhat surprising, and Devlin’s translation from one to the other, seems a little … Continue reading
