We consider definably complete Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain cannot be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire, and so is every o-minimal expansion of a field. Moreover, unlike the o-minimal case, the structures considered form an axiomatizable class. In this context we prove a version of the Kuratowski-Ulam...

Jachymski showed that the set $$\left\{(x,y)\in {𝐜}_0\times {𝐜}_0:{\left(\sum _{i=1}^n\alpha \left(i\right)x\left(i\right)y\left(i\right)\right)}_{n=1}^{\infty }\text{is}\text{bounded}\right\}$$ is either a meager subset of ${𝐜}_0\times {𝐜}_0$ or is equal to ${𝐜}_0\times {𝐜}_0$. In the paper we generalize this result by considering more general spaces than ${𝐜}_0$, namely ${𝐂}_0\left(X\right)$, the space of all continuous functions which vanish at infinity, and ${𝐂}_b\left(X\right)$, the space of all continuous bounded functions. Moreover, we replace the meagerness by $\sigma$-porosity.

Let $C_p\left(X\right)$ be the space of continuous real-valued functions on X, with the topology of pointwise convergence. We consider the following three properties of a space X: (a) $C_p\left(X\right)$ is Scott-domain representable; (b) $C_p\left(X\right)$ is domain representable; (c) X is discrete. We show that those three properties are mutually equivalent in any normal T₁-space, and that properties (a) and (c) are equivalent in any completely regular pseudo-normal space. For normal spaces, this generalizes the recent result of Tkachuk that $C_p\left(X\right)$ is...

We study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domain-representable space, and that if X is domain-representable, then so is any $G_{\delta }$-subspace of X. It follows that any Čech-complete...