On the Baire order of concentrated spaces and spaces
On the Borel class of the derived set operator
On the Borel class of the derived set operator. II
On the complexity of some -ideals of -P-porous sets
Let be a porosity-like relation on a separable locally compact metric space . We show that the -ideal of compact --porous subsets of (under some general conditions on and ) forms a -complete set in the hyperspace of all compact subsets of , in particular it is coanalytic and non-Borel. Our general results are applicable to most interesting types of porosity. It is shown in the cases of the -ideals of -porous sets, --porous sets, -strongly porous sets, -symmetrically porous sets...
On the complexity of subspaces of
Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space is . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of . We show that has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology. Moreover,...
On the descriptive sot theory of the lexicographic square
On the descriptive theory of sets
On the difference property of Borel measurable functions
If an atomlessly measurable cardinal exists, then the class of Lebesgue measurable functions, the class of Borel functions, and the Baire classes of all orders have the difference property. This gives a consistent positive answer to Laczkovich's Problem 2 [Acta Math. Acad. Sci. Hungar. 35 (1980)]. We also give a complete positive answer to Laczkovich's Problem 3 concerning Borel functions with Baire-α differences.
On the non-separable descriptive theory
On the selector problems for the partitions of Polish spaces and for the compact-valued mappings
On the splitting number and Mazurkiewicz's theorem
On topologies generating the Effros Borel structure and on the Effros measurability of the boundary operation
On translation invariant families of sets
On universality of countable and weak products of sigma hereditarily disconnected spaces
Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power of any subspace X ⊂ Y is not universal for the class ₂ of absolute -sets; moreover, if Y is an absolute -set, then contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute -set, then contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable power of...
On universality of finite powers of locally path-connected meager spaces
It is shown that for every integer n the (2n+1)th power of any locally path-connected metrizable space of the first Baire category is 𝓐₁[n]-universal, i.e., contains a closed topological copy of each at most n-dimensional metrizable σ-compact space. Also a one-dimensional σ-compact absolute retract X is found such that the power X^{n+1} is 𝓐₁[n]-universal for every n.
On vector measures which have everywhere infinite variation or noncompact range [Book]
On Weakly Measurable Functions
We show that if T is an uncountable Polish space, 𝓧 is a metrizable space and f:T→ 𝓧 is a weakly Baire measurable function, then we can find a meagre set M ⊆ T such that f[T∖M] is a separable space. We also give an example showing that "metrizable" cannot be replaced by "normal".
On -embedded sets and extension of mappings
We introduce and study -embedded sets and apply them to generalize the Kuratowski Extension Theorem.
On -generalized closed sets.
On -discrete Borel mappings via quasi-metrics