Archives
Keywords
54G20 stationary reflection Rainbow sets Small forcing Mandelbrot set Cohen real SNR PFA(S)[S] Dushnik-Miller Postprocessing function Partition Relations Weakly compact cardinal projective Boolean algebra xbox middle diamond Analytic sets Club Guessing stationary hitting Uniformly coherent C-sequence higher Baire space Dowker space Chromatic number square Martin's Axiom Sigma-Prikry Hereditarily Lindelöf space tensor product graph Forcing Axioms Selective Ultrafilter Distributive tree diamond star Erdos Cardinal Microscopic Approach sap Rado's conjecture approachability ideal Successor of Singular Cardinal Knaster Subtle cardinal weak diamond Erdos-Hajnal graphs Constructible Universe Amenable C-sequence Almost-disjoint family Sierpinski's onto mapping principle Lipschitz reduction Strong coloring Poset Singular Density polarized partition relation Reflecting stationary set Coherent tree Shelah's Strong Hypothesis Almost Souslin Well-behaved magma Generalized descriptive set theory free Boolean algebra Sakurai's Bell inequality S-Space coloring number Rock n' Roll strongly bounded groups Reduced Power Diamond for trees nonmeager set transformations incompactness Diamond full tree ZFC construction PFA Ramsey theory over partitions Closed coloring super-Souslin tree Minimal Walks Foundations countably metacompact Iterated forcing b-scale Jonsson cardinal Slim tree Generalized Clubs Absoluteness Aronszajn tree Knaster and friends indecomposable ultrafilter stick Axiom R O-space Singular cofinality Diamond-sharp Open Access Ulam matrix Cardinal Invariants specializable Souslin tree OCA Fodor-type reflection Forcing GMA Ineffable cardinal P-Ideal Dichotomy Hindman's Theorem Kurepa Hypothesis Ascent Path Subnormal ideal Non-saturation Whitehead Problem Fat stationary set club_AD Fast club Cardinal function free Souslin tree Souslin Tree Strongly Luzin set Vanishing levels Greatly Mahlo Chang's conjecture Luzin set Prevalent singular cardinals very good scale Square-Brackets Partition Relations Prikry-type forcing Was Ulam right Large Cardinals Subadditive Subtle tree property Universal Sequences reflection principles Nonspecial tree Commutative cancellative semigroups Precaliber Filter reflection Almost countably chromatic Successor of Regular Cardinal L-space Singular cardinals combinatorics weak square unbounded function Antichain HOD Hedetniemi's conjecture Local Club Condensation. regressive Souslin tree Ostaszewski square Uniformly homogeneous Parameterized proxy principle AIM forcing Uniformization square principles positive partition relation ccc
Tag Archives: 03E35
Was Ulam right? II: Small width and general ideals
Joint work with Tanmay Inamdar. Abstract. We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam’s theorem and its extension … Continue reading
Posted in Partition Relations, Publications
Tagged 03E02, 03E35, 03E55, C-sequence, Open Access, Subnormal ideal, Ulam matrix, Was Ulam right
1 Comment
Was Ulam right? I: Basic theory and subnormal ideals
Joint work with Tanmay Inamdar. Abstract. We introduce various coloring principles which generalize the so-called onto mapping principle of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow … Continue reading
Ramsey theory over partitions III: Strongly Luzin sets and partition relations
Joint work with Menachem Kojman and Juris Steprāns. Abstract. The strongest type of coloring of pairs of countable ordinals, gotten by Todorcevic from a strongly Luzin set, is shown to be equivalent to the existence of a nonmeager set of … Continue reading
Ramsey theory over partitions I: Positive Ramsey relations from forcing axioms
Joint work with Menachem Kojman and Juris Steprāns. Abstract. In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions … Continue reading
Posted in Partition Relations, Publications
Tagged 03E02, 03E17, 03E35, GMA, Martin's Axiom, positive partition relation, Ramsey theory over partitions
1 Comment
Transformations of the transfinite plane
Joint work with Jing Zhang. Abstract. We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we prove that for every … Continue reading
Fake Reflection
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. We introduce a generalization of stationary set reflection which we call filter reflection, and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We … Continue reading
Knaster and friends II: The C-sequence number
Joint work with Chris Lambie-Hanson. Abstract. Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable … Continue reading
A remark on Schimmerling’s question
Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether $\square^*_\lambda$ together with GCH entails the existence of a $\lambda^+$-Souslin tree, for a singular cardinal $\lambda$. Here, we provide an affirmative answer under the additional assumption that there exists a … 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