BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Klaas Pieter Hart 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 investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded.
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence.
We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional.
We study the existence of universal autohomeomorphisms of $\mathbb{N}^*$. We prove that $\mathsf{CH}$ implies there is such an autohomeomorphism and show that there are none in any model where all autohomeomorphisms of $\mathbb{N}^*$ are trivial.
On the occasion of Alan Dow 60th birthday.
We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable.
We show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$.
We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder.
We introduce a chain condition (bishop), defined for operators acting on C(K)-spaces, which is intermediate between weak compactness and having weakly compactly generated range. It is motivated by Pełczyński's characterisation of weakly compact operators on C(K)-spaces. We prove that if K is extremally disconnected and X is a Banach space then an operator T : C(K) -> X is weakly compact if and only if it satisfies (bishop) if and only if the representing vector measure of T satisfies an analogous chain condition. As a tool for proving the above-mentioned result, we derive a topological counterpart of Rosenthal's lemma. We exhibit several compact Hausdorff spaces K for which the identity operator on C(K) satisfies (bishop), for example both locally connected compact spaces having countable cellularity and ladder system spaces have this property. Using a Ramsey-type theorem, due to Dushnik and Miller, we prove that the collection of operators on a C(K)-space satisfying (bishop) forms a closed left ideal of B(C(K)).
We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging omega_1-sequences is first-countable and, in addition, has many aleph_1-sized Lindelöf subspaces. As a corollary we find that in these models all compact Hausdorff spaces with a small diagonal are metrizable.
We show that every space that is the union of a `small' family consisting of special P-sets that are F-spaces, is an F-space. We also comment on the sharpness of our results.
It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character.
We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO)spaces. We show, for example, that a generalized ordered space with a sigma-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S. G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact.
Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the Continuum Hypothesis, an n-dimensional compact F-space of weight c is the continuous image of a zero-dimensional compact Hausdorff space by an at most 2n-to-1 map.
We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one.
We give a concrete example of a co-existential map between continua that is not confluent.
We prove a general factorization theorem for maps with hereditarily indecomposable fibers and apply it to reprove a theorem of Mackoviak on the existence of universal hereditarily indecomposable continua.
We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line.
We present an example of a compact connected F-space with a continuous real-valued function f for which the union of the interiors of its fibers is not dense. This indirectly answers a question from Abramovich and Kitover in the negative.
We prove that every continuum of weight aleph_1 is a continuous image of the Cech-Stone-remainder R^* of the real line. It follows that under CH the remainder of the half line [0,infty) is universal among the continua of weight c --- universal in the `mapping onto' sense. We complement this result by showing that 1) under MA every continuum of weight less than c is a continuous image of R^* 2) in the Cohen model the long segment of length omega_2+1 is not a continuous image of R^*, and 3) PFA implies that I_u is not a continuous image of R^*, whenever u is a c-saturated ultrafilter. We also show that a universal continuum can be gotten from a c-saturated ultrafilter on omega and that it is consistent that there is no universal continuum of weight c.
Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results established in the Cohen model can be deduced directly from the properties of betaN\N or P(N)/fin that feature in Steprans' result.