BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Dilip Raghavan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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}$.
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.
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.
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.
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.
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.
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}}_κ$.
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.
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$.
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.
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.
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.
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.