Related papers: D-forced spaces: a new approach to resolvability

A subset $A$ of a topological space $X$ is called relatively functionally countable (RFC) in $X$, if for each continuous function $f : X \to \mathbb{R}$ the set $f[A]$ is countable. We prove that all RFC subsets of a product…

In this paper for each cardinal $\kappa$ we construct an infinite $\kappa$-bounded (and hence countably compact) regular space $R_{\kappa}$ such that for any $T_1$ space $Y$ of pseudo-character $\leq\kappa$, each continuous function…

The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable…

Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in…

This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…

Using an invariant modification of Jensen's "minimal $\varPi^1_2$ singleton" forcing, we define a model of ZFC, in which, for a given $n\ge2$, there exists a lightface $\varPi^1_n$ unordered pair of non-OD (hence, OD-indiscernible)…

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

We construct uniformly bounded solutions for the equations $\text{div}\, U=f$ and $\text{curl}\, U=F$ in the critical cases $f \in L^d(T^d,R)$, and respectively, $F \in L^3(T^3,R^3)$. Criticality in this context, manifests itself by the…

We show that on every ${\sf RCD}$ spaces it is possible to introduce, by a distributional-like approach, a Riemann curvature tensor. Since after the works of Petrunin and Zhang-Zhu we know that finite dimensional Alexandrov spaces are ${\sf…

The D-dimensional cosmological model on the manifold $M = R \times M_{1} \times M_{2}$ describing the evolution of 2 Einsteinian factor spaces, $M_1$ and $M_2$, in the presence of multicomponent perfect fluid source is considered. The…

Assuming the existence of a supercompact cardinal and an inaccessible above it, we construct a model of ZFC, in which all uncountable regular cardinals are inaccessible in HOD.

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

Tchakaloff's theorem from 1957 asserts the existence of exact quadrature rules with non-negative weights for any polynomial space of finite degree on $\mathbb{R}^d$ if the underlying measure is positive, compactly supported, and absolutely…

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

A set $A$ of integers is called total if there is an algorithm which, given an enumeration of $A$, enumerates the complement of $A$, and called cototal if there is an algorithm which, given an enumeration of the complement of $A$,…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\varphi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \varphi =\pi_{1}$ and for every…

This paper deals with the equation $-\Delta u+\mu u=f$ on high-dimensional spaces $\mathbb{R}^m$ where $\mu$ is a positive constant. If the right-hand side $f$ is a rapidly converging series of separable functions, the solution $u$ can be…

The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets.…

A family of classical integrable systems defined on a deformation of the two-dimensional sphere, hyperbolic and (anti-)de Sitter spaces is constructed through Hamiltonians defined on the non-standard quantum deformation of a sl(2) Poisson…

A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…