Related papers: $C$-embedding, Lindel\"ofness, and \v{C}ech-comple…

It was proved that whenever N is partitioned into finitely many cells, one cell must contain arbitrary length geo-arithmetic progressions. It was also proved that arithmetic and geometric progressions can be nicely intertwined in one cell…

For a Tychonoff space $X$ and a family $\lambda$ of subsets of $X$, we denote by $C_{\lambda}(X)$ the $T_1$-space of all real-valued continuous functions on $X$ with the $\lambda$ -open topology. A topological space is productively…

We prove a homological characterization of $Q$-manifolds bundles over $C$-spaces. This provides a partial answer to Question QM22 from \cite{w}.

We prove that the dual of an M ideal of a Banach space inherits all the versions of $w^*$ diameter two properties. We give a counter example to show that the converse is not true. We use these results to explore these properties in $C(K)$…

We show that finite-dimensional order unit spaces equipped with a continuous sequential product as defined by Gudder and Greechie are homogeneous and self-dual. As a consequence of the Koecher-Vinberg theorem these spaces therefore…

We propose a new strong Riemannian metric on the manifold of (parametrized) embedded curves of regularity $H^s$, $s\in(3/2,2)$. We highlight its close relationship to the (generalized) tangent-point energies and employ it to show that this…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…

We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure…

We study the completeness and ultracompleteness numbers of a convergence space. In the case of a completely regular topological space, the completeness number is countable if and only if the space is $\v{C}$ech-complete, and the…

In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M-functors and M-morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic character of…

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

The purpose of this article is to show that on an open and dense set, complete integrability implies the existence of symmetry.

We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…

In this paper, we introduce coproducts of proximity spaces. After exploring several of their basic properties, we show that given a collection of proximity spaces, the coproduct of their Smirnov compactifications proximally and densely…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Necessary and sufficient conditions for a Riemannian product to be conformally equivalent to an Einstein manifold are given. Such spaces which are complete are characterized.

We analyze the purely algebraic antidual $C'(V)$ of the complex Clifford algebra $C(V)$ over a real inner product space $V$. In particular, we introduce a partially defined product in $C'(V)$ and study its properties.

We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of…

Michael asked whether every productively Lindel\"of space is powerfully Lindel\"of. Building of work of Alster and De la Vega, assuming the Continuum Hypothesis, we show that every productively Lindel\"of space of countable tightness is…