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

In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…

We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial…

Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate…

The problem of characterizing normed ordered spaces which admit a representation in the algebraic, order and norm sense as a subspace of $C(X)$, the space of all continuous functions on a compact Hausdorff space is a classical problem that…

In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…

We revisit some ideas of K.-M.~Perfekt who has provided an elegant framework to detect the biduality between function or sequence spaces defined in terms of some $o$- resp.\ $O$-condition. We present new proofs under somewhat weaker…

We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension…

We study completeness properties of Sobolev metrics on the space of immersed curves and on the shape space of unparametrized curves. We show that Sobolev metrics of order $n\geq 2$ are metrically complete on the space $\mathcal…

We prove that if continuum is not a Kunen cardinal, then there is a uniform Eberlein compact space $K$ such that the Banach space $C(K)$ does not embed isometrically into $\ell_\infty/c_0$. We prove a similar result for isomorphic…

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…

We initiate the study of the Stone-\v{C}ech transformation groupoid $\mathcal{G} = \mathcal{S}\ltimes\beta\mathcal{S}$ of an inverse semigroup $\mathcal{S}$. We prove that the properties of being Hausdorff, principal, and effective are all…

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…

Let C be an axiomatizable class of order continuous real or complex Banach lattices, that is, this class is closed under isometric vector lattice isomorphisms and ultraproducts, and the complementary class is closed under ultrapowers. We…

In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them…

Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively…

We prove that in the Miller model the Menger property is preserved by finite products of metrizable spaces. This answers several open questions and gives another instance of the interplay between classical forcing posets with fusion and…

For a class of wreath-like product groups with property (T), we describe explicitly all the embeddings between their von Neumann algebras. This allows us to provide a continuum of ICC groups with property (T) whose von Neumann algebras are…

It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less…

Semantic embeddings have advanced the state of the art for countless natural language processing tasks, and various extensions to multimodal domains, such as visual-semantic embeddings, have been proposed. While the power of visual-semantic…

Embedded spaces are a key feature in deep learning. Good embedded spaces represent the data well to support classification and advanced techniques such as open-set recognition, few-short learning and explainability. This paper presents a…