Archives
Keywords
very good scale Almost-disjoint family OCA Analytic sets Non-saturation tensor product graph Forcing Parameterized proxy principle Postprocessing function Subnormal ideal higher Baire space square C-sequence Ulam matrix weak Kurepa tree Intersection model Chromatic number Ascent Path HOD Dushnik-Miller GMA transformations Dowker space Shelah's Strong Hypothesis Ostaszewski square Singular Density Forcing Axioms Partition Relations Knaster Chang's conjecture Filter reflection club_AD AIM forcing Commutative projection system Respecting tree Sakurai's Bell inequality Martin's Axiom Diamond weak square PFA(S)[S] square principles Sigma-Prikry Axiom R Cardinal Invariants 54G20 Slim tree Fast club ZFC construction Iterated forcing Small forcing Uniformization Precaliber Antichain Rado's conjecture sap diamond star Erdos-Hajnal graphs Almost countably chromatic positive partition relation Nonspecial tree Countryman line Commutative cancellative semigroups Large Cardinals Fodor-type reflection unbounded function stick countably metacompact Weakly compact cardinal Lipschitz reduction reflection principles Subadditive Vanishing levels Closed coloring free Boolean algebra Foundations indecomposable ultrafilter specializable Souslin tree Ineffable cardinal Uniformly coherent Absoluteness stationary reflection Diamond-sharp Rock n' Roll Local Club Condensation. Prikry-type forcing Successor of Regular Cardinal Was Ulam right? stationary hitting Sierpinski's onto mapping principle Hedetniemi's conjecture Erdos Cardinal b-scale polarized partition relation Strong coloring Hindman's Theorem Prevalent singular cardinals approachability ideal Singular cofinality Diamond for trees Almost Souslin Subtle tree property Greatly Mahlo Ramsey theory over partitions Open Access Knaster and friends Coherent tree Jonsson cardinal Luzin set Strongly Luzin set Microscopic Approach Mandelbrot set Subtle cardinal Strongly compact cardinal Successor of Singular Cardinal middle diamond incompactness P-Ideal Dichotomy Reflecting stationary set full tree Rainbow sets Generalized descriptive set theory S-Space Cohen real Whitehead Problem O-space Constructible Universe Club Guessing ccc Cardinal function Selective Ultrafilter coloring number Kurepa Hypothesis Square-Brackets Partition Relations super-Souslin tree Minimal Walks Uniformly homogeneous regressive Souslin tree Hereditarily Lindelöf space Souslin Tree Poset nonmeager set Generalized Clubs free Souslin tree projective Boolean algebra Reduced Power Singular cardinals combinatorics SNR Amenable C-sequence Aronszajn tree Distributive tree Well-behaved magma strongly bounded groups weak diamond Universal Sequences PFA xbox Fat stationary set L-space
Category Archives: Publications
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
Sigma-Prikry forcing I: The Axioms
Joint work with Alejandro Poveda and Dima Sinapova. Abstract. We introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality … Continue reading
Inclusion modulo nonstationary
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset $\mathbb P$ with no maximal element, there is a ccc forcing … Continue reading
Partitioning a reflecting stationary set
Joint work with Maxwell Levine. Abstract. We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer … Continue reading
Souslin trees at successors of regular cardinals
Abstract. We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author. Downloads: Citation … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged Parameterized proxy principle, Souslin Tree
1 Comment
Knaster and friends I: Closed colorings and precalibers
Joint work with Chris Lambie-Hanson. Abstract. The productivity of the $\kappa$-chain condition, where $\kappa$ is a regular, uncountable cardinal, has been the focus of a great deal of set-theoretic research. In the 1970s, consistent examples of $\kappa$-cc posets whose squares … 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
Distributive Aronszajn trees
Joint work with Ari Meir Brodsky. Abstract. Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved that the same conclusion remains … Continue reading
