Related papers: Functional countability and exponential separabili…

In this article, we study the properties of a class of functional spaces which arise from the investigation of nonlinear differential equations. We establish some integral inequalities then by applying these inequalities, we prove some…

We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions;…

Countable projective limits of countable inductive limits, so-called PLB-spaces, of weighted Banach spaces of continuous functions have recently been investigated by Agethen, Bierstedt and Bonet, who analyzed locally convex properties in…

For a countable ordinal a we denote by C_a the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by a. We show that each C_a admits a separable, reflexive universal space. We also…

The function spaces of continuously differentiable functions are extensively studied and appear in various mathematical settings. In this context, we investigate the spaces of continuously fractional differentiable functions of order…

We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this,…

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example…

Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…

In this article, we consider a higher-order elliptic equation with nonsmooth coefficients with respect to Orlicz spaces on the domain $\Omega\subset\mathbb{R}^{n}$. The separable subspace of this space is distinguished in which infinitely…

A topological space $X$ is called almost discretely Lindel\"of if every discrete set $D \subset X$ is included in a Lindel\"of subspace of $X$. We say that the space $X$ is {\em $\mu$-sequential} if for every non-closed set $A \subset X$…

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…

For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…

We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with taking finite cuts. It is constructive in the sense that…

We generalize some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions with values in certain generalized metric spaces, called Maslyuchenko spaces. We establish…

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…

We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure…

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…

Let $f: X\times K\to \mathbb R$ be a separately continuous function and $\mathcal C$ a countable collection of subsets of $K$. Following a result of Calbrix and Troallic, there is a residual set of points $x\in X$ such that $f$ is jointly…