Source author record

Dilip Raghavan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO math.GN

Catalog footprint

Research overview

14works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A combinatorial property of rho-functions

We show that if $\mathcal{T}$ is any Hausdorff topology on $ω_{1}$ , then any subset of $ω_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which $\barρ$ is shift-increasing.

preprint2022arXiv

Combinatorial properties of MAD families

We study some strong combinatorial properties of $\textsf{MAD}$ families. An ideal $\mathcal{I}$ is Shelah-Steprāns if for every set $X\subseteq{\left[ ω\right]}^{<ω}$ there is an element of $\mathcal{I}$ that either intersects every set in $X$ or contains infinitely many members of it. We prove that a Borel ideal is Shelah-Steprāns if and only if it is Katětov above the ideal $\textsf{fin}\times\textsf{fin}$ . We prove that Shelah-Steprāns $\textsf{MAD}$ families have strong indestructibility properties (in particular, they are both Cohen and random indestructible). We also consider some other strong combinatorial properties of $\textsf{MAD}$ families. Finally, it is proved that it is consistent to have $\mathrm{non}(\mathcal{M}) = {\aleph}_{1}$ and no Shelah-Steprāns families of size ${\aleph}_{1}$ .

preprint2022arXiv

Galvin's problem in higher dimensions

It is proved that for each natural number $n$ , if $\left| \mathbb{R} \right| = {\aleph}_{n}$ , then there is a coloring of ${\left[ \mathbb{R} \right]}^{n+2}$ into ${\aleph}_{0}$ colors that takes all colors on ${\left[ X \right]}^{n+2}$ whenever $X$ is any set of reals which is homeomorphic to $\mathbb{Q}$ . This generalizes a theorem of Baumgartner and sheds further light on a problem of Galvin from the 1970s. Our result also complements and contrasts with our earlier result saying that any coloring of ${\left[ \mathbb{R} \right]}^{2}$ into finitely many colors can be reduced to at most $2$ colors on the pairs of some set of reals which is homeomorphic to $\mathbb{Q}$ when large cardinals exist.

preprint2022arXiv

Lower bounds of sets of P-points

We show that $\mathrm{MA}_κ$ implies that each collection of ${P}_{\mathfrak c}$ -points of size at most $κ$ which has a $P_{\mathfrak c}$ -point as an $RK$ upper bound also has a ${P}_{\mathfrak c}$ -point as an $RK$ lower bound.

preprint2022arXiv

The almost disjointness invariant for products of ideals

The almost disjointness numbers associated to the quotients determined by the transfinite products of the ideal of finite sets are investigated. A $\mathrm{ZFC}$ lower bound involving the minimum of the classical almost disjointness and splitting numbers is proved for these characteristics. En route, it is shown that the splitting numbers associated to these quotients are all equal to the classical splitting number. Finally, it is proved to be consistent that the almost disjointness numbers associated to these quotients are all equal to the second uncountable cardinal while the bounding number is the first uncountable cardinal. Several open problems are considered.

preprint2016arXiv

A long chain of P-points

The notion of a $δ$ -generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $δ< ω_{2}$ , any $δ$ -generic sequence of P-points can be extended to an $ω_{2}$ -generic sequence. This shows that the Continuum Hypothesis implies that there is a chain of P-points of length ${\mathfrak{c}}^{+}$ with respect to both Rudin-Keisler and Tukey reducibility. The proofs can be easily adapted to get such a chain of length ${\mathfrak{c}}^{+}$ under a more general hypothesis like Martin's Axiom. These results answer an old question of Andreas Blass.

preprint2016arXiv

Suslin trees, the bounding number, and partition relations

We investigate the unbalanced ordinary partition relations of the form $λ\rightarrow {(λ, α)}^{2}$ for various values of the cardinal $λ$ and the ordinal $α$ . For example, we show that for every infinite cardinal $κ,$ the existence of a $κ^{+}-$ Suslin tree implies $κ^{+} \not\rightarrow {\left( κ^{+}, {\log}_κ(κ^{+}) + 2 \right)}^{2}$ . The consistency of the positive partition relation $\mathfrak{b} \rightarrow {(\mathfrak{b}, α)}^{2}$ for all $α< ω_{1}$ for the bounding number $\mathfrak{b}$ is also established from large cardinals.

preprint2015arXiv

Two inequalities between cardinal invariants

We prove two $\mathrm{ZFC}$ inequalities between cardinal invariants. The first inequality involves cardinal invariants associated with an analytic P-ideal, in particular the ideal of subsets of $ω$ of asymptotic density $0$ . We obtain an upper bound on the $\ast$ -covering number, sometimes also called the weak covering number, of this ideal by proving in Section \ref{sec:covz0} that ${\mathord{\mathrm{cov}}}^{\ast}({\mathcal{Z}}_{0}) \leq \mathfrak{d}$ . In Section \ref{sec:skbk} we investigate the relationship between the bounding and splitting numbers at regular uncountable cardinals. We prove in sharp contrast to the case when $κ= ω$ , that if $κ$ is any regular uncountable cardinal, then ${\mathfrak{s}}_κ \leq {\mathfrak{b}}_κ$ .

preprint2014arXiv

On embedding certain partial orders into the P-points under RK and Tukey reducibility

The study of the global structure of ultrafilters on the natural numbers with respect to the quasi-orders of Rudin-Keisler and Rudin-Blass reducibility was initiated in the 1970s by Blass, Keisler, Kunen, and Rudin. In a 1973 paper Blass studied the special class of P-points under the quasi-ordering of Rudin-Keisler reducibility. He asked what partially ordered sets can be embedded into the P-points when the P-points are equipped with this ordering. This question is of most interest under some hypothesis that guarantees the existence of many P-points, such as Martin's axiom for $σ$ -centered posets. In his 1973 paper he showed under this assumption that both $ω_{1}$ and the reals can be embedded. This result was later repeated for the coarser notion of Tukey reducibility. We prove in this paper that Martin's axiom for $σ$ -centered posets implies that every partial order of size at most continuum can be embedded into the P-points both under Rudin-Keisler and Tukey reducibility.

preprint2013arXiv

Combinatorial dichotomies and cardinal invariants

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that the statement that $\mathfrak{x} > ω_{1}$ is equivalent to the statement that 1, $ω$ , $ω_{1}$ , $ω\times ω_{1}$ , and ${\left[ω_{1}\right]}^{< ω}$ are the only cofinal types of directed sets of size at most ${\aleph}_{1}$ . We investigate the corresponding problem for the partition relation $ω_{1} \rightarrow (ω_{1}, α)^2$ for all $α< ω_{1}$ . To this effect, we investigate partition relations for pairs of comparable elements of a coherent Suslin tree $\mathbb{S}$ . We show that a positive partition relation for such pairs follows from the maximal amount of the proper forcing axiom compatible with the existence of $\mathbb{S}$ . As a consequence we conclude that after forcing with the coherent Suslin tree $\mathbb{S}$ over a ground model satisfying this relativization of the proper forcing axiom, $ω_{1} ~\rightarrow {(ω_{1}, α)}^{2}$ for all $α< ω_{1}$ . We prove that this positive partition relation for $\mathbb{S}$ cannot be improved by showing in $\mathrm{ZFC}$ that $\mathbb{S} \not\rightarrow ({\aleph}_{1}, ω+2)^2$ .

preprint2013arXiv

The next best thing to a P-point

We study ultrafilters on $ω^2$ produced by forcing with the quotient of $\scr P(ω^2)$ by the Fubini square of the Fréchet filter on $ω$ . We show that such an ultrafilter is a weak P-point but not a P-point and that the only non-principal ultrafilters strictly below it in the Rudin-Keisler order are a single isomorphism class of selective ultrafilters. We further show that it enjoys the strongest square-bracket partition relations that are possible for a non-P-point. We show that it is not basically generated but that it shares with basically generated ultrafilters the property of not being at the top of the Tukey ordering. In fact, it is not Tukey-above $[ω_1]^{<ω}$ , and it has only continuum many ultrafilters Tukey-below it. A tool in our proofs is the analysis of similar (but not the same) properties for ultrafilters obtained as the sum, over a selective ultrafilter, of non-isomorphic selective ultrafilters.

preprint2012arXiv

Bounding, splitting, and almost disjointness

We investigate some aspects of bounding, splitting, and almost disjointness. In particular, we investigate the relationship between the bounding number, the closed almost disjointness number, splitting number, and the existence of certain kinds of splitting families.

preprint2012arXiv

The generic ultrafilter added by ${(\FIN \times \FIN)}^{+}$

We investigate the Tukey type of the generic ultrafilter added by the quotient $\mathcal{P}(ω\times ω) / (\mathrm{FIN} \times \mathrm{FIN})$ . We prove that this ultrafilter is not basically generated and yet does not have the maximal Tukey type among directed partial orders of size continuum. Moreover, any Tukey reduction from this ultrafilter to any other ultrafilter is witnessed by a Baire class one map.

preprint2011arXiv

Comparing the closed almost disjointness and dominating numbers

We prove that if there is a dominating family of size ${\aleph}_{1}$ , then there is are ${\aleph}_{1}$ many compact subsets of $ω^ω$ whose union is a maximal almost disjoint family of functions that is also maximal with respect to infinite partial functions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dilip Raghavan

Research overview

Is this your work?

14 publications

A combinatorial property of rho-functions

Combinatorial properties of MAD families

Galvin's problem in higher dimensions

Lower bounds of sets of P-points

The almost disjointness invariant for products of ideals

A long chain of P-points

Suslin trees, the bounding number, and partition relations

Two inequalities between cardinal invariants

On embedding certain partial orders into the P-points under RK and Tukey reducibility

Combinatorial dichotomies and cardinal invariants

The next best thing to a P-point

Bounding, splitting, and almost disjointness

The generic ultrafilter added by ${(\FIN \times \FIN)}^{+}$

Comparing the closed almost disjointness and dominating numbers

See the researcher in context

Building this map preview