Related papers: Infinite powers and Cohen reals
W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…
We define shadowable points for homeomorphism on metric spaces. In the compact case we will prove the following results: The set of shadowable points is invariant, possibly nonempty or noncompact. A homeomorphism has the pseudo-orbit…
We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…
We discuss ways of adjoining perfect sets of mutually generic random reals. In particular, we show that if V \sub W are models of ZFC and W contains a dominating real over V, then W[r], where r is random over W, contains a perfect tree of…
We prove that in the Cohen extension adding $\aleph_3$ generic reals to a model of $ZFC+CH$ containing a simplified $(\omega_1,2)$-morass, gap-2 morass-definable $\eta_1$-orderings with cardinality $\aleph_3$ are order-isomorphic. Hence it…
A topological space is totally paracompact if any base of this space contains a locally finite subcover. We focus on a problem of Curtis whether in the class of regular Lindel\"of spaces total paracompactness is equivalent to the Menger…
We deal with topological spaces homeomorphic to their respective squares. Primarily, we investigate the existence of large families of such spaces in some subclasses of compact metrizable spaces. As our main result we show that there is a…
A metric space $X$ is quasisymmetrically co-Hopfian if every quasisymmetric embedding of $X$ into itself is onto. We construct the first examples of metric spaces homeomorphic to the universal Menger curve and higher dimensional…
We show that the endpoint set of a Suslinian chainable continuum must be zero-dimensional at some point. In particular, it cannot be homeomorphic to complete Erd\H{o}s space. This answers a question of Jerzy Krzempek.
We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…
Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…
In extension theory, in particular in dimension theory, it is frequently useful to represent a given compact metrizable space X as the limit of an inverse sequence of compact polyhedra. We are going to show that, for the purposes of…
It is proved that whenever two aperiodic repetitive tilings with finite local complexity have homeomorphic tiling spaces, their associated complexity functions are asymptotically equivalent in a certain sense (which implies, if the…
We study new relations of the following statements with weak choice principles in ZF and ZFA. 1. There does not exist an infinite Hausdorff space X such that every infinite subset of X contains an infinite compact subset. 2. If a field has…
Let $k$ be a perfect complete valued field with a nontrivial non-archimedean norm $|\cdot|$ and $\omega\in k$ with $0<|\omega|<1.$ Let $X$ be a reduced and normal $k$-analytic space. Then $O^{\circ}\simeq…
The support of wavelet transform associated with square integrable irreducible representation of a homogeneous space is shown to have infinite measure. Pointwise homogeneous approximation property for wavelet transform has been…
All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…
It is shown that for any translation invariant outer measure M, the M-measure of the intersection of any subset of R^n that is invariant under rational translations and which does not have full Lebesgue measure with an the closure of an…
Let $\omega$ be a differential 1-form defining an algebraic foliation of codimension 1 in projective space. In this article we use commutative algebra to study the singular locus of $\omega$ through its ideal of definition. Then, we expose…