Related papers: A space with only Borel subsets

A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we…

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying…

It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open problem. We resolve it in the negative by constructing a locally…

We prove a structural property of the class of unconditionally saturated separable Banach spaces. We show, in particular, that for every analytic set $\aaa$, in the Effros-Borel space of subspaces of $C[0,1]$, of unconditionally saturated…

We answer several questions of V. Tka\v{c}uk from [Point-countable $\pi$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that (1) there is a ZFC example of a first countable, 0-dimensional…

In this paper we formulate three problems concerning topological properties of sets generating Borel non-sigma-compact groups. In case of the concrete F_\sigma\delta-subgroup of the Cantor group this gives an equivalent reformulation of the…

Assume ZFC. Let $\kappa$ be a cardinal. A ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC and such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$. The $\kappa$-mantle is…

Let B(kappa, lambda) be the subalgebra of P(kappa) generated by [kappa]^{<= lambda}. It is shown that if B is any homomorphic image of B(kappa, lambda) then either |B|< 2^lambda or |B|=|B|^lambda, moreover if X is the Stone space of B then…

We construct a complete metric space $M$ of cardinality continuum such that every non-singleton closed separable subset of $M$ fails to be a Lipschitz retract of $M$. This provides a metric analogue to the various classical and recent…

We study the relationship between generalizations of $P$-spaces and Volterra (weakly Volterra) spaces, that is, spaces where every two dense $G_\delta$ have dense (non-empty) intersection. In particular, we prove that every dense and every…

Let $F(X)$ be the supremum of cardinalities of free sequences in $X$. We prove that the radial character of every Lindel\"of Hausdorff almost radial space $X$ and the set-tightness of every Lindel\"of Hausdorff space are always bounded…

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…

We investigate the $\mathcal F$-Borel complexity of topological spaces in their different compactifcations. We provide a simple proof of the fact that a space can have arbitrarily many different complexities in different compactifications.…

We prove that, under CH, any space with a regular $G_\delta$-diagonal and caliber $\omega_1$ is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space $X$, we establish the inequality $|X|\le…

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

In this note we show that every Banach space $X$ not containing $\ell_1^n$ uniformly and with unconditional basis contains an arbitrarily distortable subspace.

Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a base of cardinality <= mu, lambda <= mu < 2^lambda, lambda strong limit of cofinality aleph_0, then T has…

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are…

We show that for a normal locally-${\mathscr P}$ space $X$ (where ${\mathscr P}$ is a topological property subject to some mild requirements) the subset $C_{\mathscr P}(X)$ of $C_b(X)$ consisting of those elements whose support has a…