Archives
Keywords
C-sequence Subadditive Ascent Path transformations Souslin Tree specializable Souslin tree Small forcing regressive Souslin tree Amenable C-sequence Absoluteness Chang's conjecture square tensor product graph Strongly Luzin set Constructible Universe Partition Relations strongly bounded groups Dushnik-Miller Jonsson cardinal Microscopic Approach unbounded function super-Souslin tree Poset Forcing with side conditions Prevalent singular cardinals Almost countably chromatic Lipschitz reduction Countryman line Forcing Well-behaved magma Ascending path Parameterized proxy principle Interval topology on trees Reflecting stationary set Postprocessing function Generalized descriptive set theory Coherent tree incompactness Ostaszewski square free Souslin tree Strongly compact cardinal Respecting tree Filter reflection Local Club Condensation. Fast club perfectly normal Was Ulam right? 54G20 Universal Sequences Cardinal Invariants very good scale Rado's conjecture Subnormal ideal stick Shelah's Strong Hypothesis Analytic sets Open Access coloring number Diamond Erdos-Hajnal graphs Successor of Singular Cardinal Intersection model Strong coloring Fodor-type reflection Greatly Mahlo sap Cardinal function polarized partition relation xbox ZFC construction diamond star Almost Souslin Sakurai's Bell inequality Commutative projection system Hindman's Theorem Ineffable cardinal Singular Density Antichain O-space Luzin set weak square Martin's Axiom middle diamond Club Guessing Hereditarily Lindelöf space Cohen real Ramsey theory over partitions square principles Minimal Walks Vanishing levels Reduced Power reflection principles Mandelbrot set P-Ideal Dichotomy Large Cardinals higher Baire space Foundations Uniformly homogeneous projective Boolean algebra b-scale Subtle tree property Sierpinski's onto mapping principle Non-saturation indecomposable filter Hedetniemi's conjecture Dowker space Fat stationary set OCA Erdos Cardinal Diamond-sharp Aronszajn tree GMA Distributive tree Nonspecial tree HOD PFA positive partition relation Slim tree Entangled linear order S-Space Axiom R approachability ideal Weakly compact cardinal Rock n' Roll Partition relations for trees Selective Ultrafilter stationary hitting full tree Almost-disjoint family Singular cardinals combinatorics Iterated forcing nonmeager set Square-Brackets Partition Relations Precaliber Diamond for trees weak Kurepa tree Commutative cancellative semigroups SNR Uniformization Generalized Clubs Ulam matrix Closed coloring stationary reflection Rainbow sets Forcing Axioms weak diamond club_AD Prikry-type forcing countably metacompact Chromatic number Kurepa Hypothesis PFA(S)[S] AIM forcing Singular cofinality Successor of Regular Cardinal Monotonically far free Boolean algebra Uniformly coherent Knaster Whitehead Problem Knaster and friends Subtle cardinal L-space ccc Sigma-Prikry
Category Archives: Publications
More notions of forcing add a Souslin tree
Joint work with Ari Meir Brodsky. Abstract. An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing … Continue reading
Ordinal definable subsets of singular cardinals
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. A remarkable result by Shelah states that if $\kappa$ is a singular strong limit cardinal of uncountable cofinality then there is a subset $x$ of $\kappa$ such … Continue reading
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
Reduced powers of Souslin trees
Joint work with Ari Meir Brodsky. Abstract. We study the relationship between a $\kappa$-Souslin tree $T$ and its reduced powers $T^\theta/\mathcal U$. Previous works addressed this problem from the viewpoint of a single power $\theta$, whereas here, tools are developed … 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
Same Graph, Different Universe
Abstract. May the same graph admit two different chromatic numbers in two different universes? how about infinitely many different values? and can this be achieved without changing the cardinals structure? In this paper, it is proved that in Godel’s constructible … Continue reading
Posted in Infinite Graphs, Publications
Tagged 03E35, 05C15, 05C63, approachability ideal, Chromatic number, Constructible Universe, Forcing, Ostaszewski square
10 Comments
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
Complicated colorings
Abstract. If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^\lambda_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. (Recall that $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ asserts the existence of a coloring $d:[\lambda]^2\rightarrow\lambda$ such that for any family $\mathcal A\subseteq[\lambda]^{<\kappa}$ of size $\lambda$, consisting of pairwise … Continue reading
Posted in Partition Relations, Publications
Tagged Minimal Walks, Open Access, Square-Brackets Partition Relations
2 Comments
