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