Source author record

Kenneth Kunen

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
3topics
4close collaborators

Published work

7 publications

preprint2014arXiv

Seven characterizations of non-meager P-filters

We give several topological/combinatorial conditions that, for a filter on ωω, are equivalent to being a non-meager P\mathsf{P}-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager P\mathsf{P}-filter. Here, we identify a filter with a subspace of 2ω2^ω through characteristic functions. Along the way, we generalize to non-meager P\mathsf{P}-filters a result of Miller about P\mathsf{P}-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hernández-Gutiérrez and Hrušák, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager P\mathsf{P}-subfilter" is independent of ZFC\mathsf{ZFC} (more precisely, it is a consequence of u<g\mathfrak{u}<\mathfrak{g} and its negation is a consequence of ◊\Diamond). It follows from results of Hrušák and van Mill that, under u<g\mathfrak{u}<\mathfrak{g}, a filter has less than c\mathfrak{c} types of countable dense subsets if and only if it is a non-meager P\mathsf{P}-filter. In particular, under u<g\mathfrak{u}<\mathfrak{g}, there exists an ultrafilter with c\mathfrak{c} types of countable dense subsets. We also show that such an ultrafilter exists under MA(countable)\mathsf{MA(countable)}.

preprint1995arXiv

Locally Constant Functions

Let X be a compact Hausdorff space and M a metric space. E_0(X,M) is the set of f in C(X,M) such that there is a dense set of points x in X with f constant on some neighborhood of x. We describe some general classes of X for which E_0(X,M) is all of C(X,M). These include beta N - N, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case that M is a Banach space, we discuss the properties of E_0(X,M) as a normed linear space. We also build three first countable Eberlein compact spaces, F,G,H, with various E_0 properties: For all metric M: E_0(F,M) contains only the constant functions, and E_0(G,M) = C(G,M). If M is the Hilbert cube or any infinite dimensional Banach space, E_0(H,M) is not all of C(H,M), but E_0(H,M) = C(H,M) whenever M is a subset of RR^n for some finite n.

Research graph

See the researcher in context

Open full explorer

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.