Loading [MathJax]/extensions/MathZoom.js
We prove there is a countable dense homogeneous subspace of ℝ of size ℵ₁. The proof involves an absoluteness argument using an extension of the logic obtained by adding predicates for Borel sets.
We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal.
We establish a Banach-Steinhaus type theorem for nonlinear functionals of several variables. As an application, we obtain extensions of the recent results of Balcerzak and Wachowicz on some meager subsets of L¹(μ) × L¹(μ) and c₀ × c₀. As another consequence, we get a Banach-Mazurkiewicz type theorem on some residual subset of C[0,1] involving Kharazishvili's notion of Φ-derivative.
We consider some variational principles in the spaces C*(X) of bounded continuous functions on metrizable spaces X, introduced by M. M. Choban, P. S. Kenderov and J. P. Revalski. In particular we give an answer (consistent with ZFC) to a question stated by these authors.
In this survey article we shall summarise some of the recent progress that has occurred in the study of topological games as well as their applications to abstract analysis. The topics given here do not necessarily represent the most important problems from the area of topological games, but rather, they represent a selection of problems that are of interest to the authors.
We prove a dichotomy theorem for remainders in compactifications of homogeneous spaces: given a homogeneous space , every remainder of is either realcompact and meager or Baire. In addition we show that two other recent dichotomy theorems for remainders of topological groups due to Arhangel’skii cannot be extended to homogeneous spaces.
We generalize to the non-separable context a theorem of Levi characterizing Baire analytic spaces. This allows us to prove a joint-continuity result for non-separable normed groups, previously known only in the separable context.
Currently displaying 1 –
17 of
17