Related papers: A Lopez-Escobar Theorem for Continuous Domains

The article considers the Lorentz space $L_{p,\tau}(\mathbb{T}^{m})$, $2\pi$ of periodic functions of many variables and $S_{p,\tau,\theta}^{0, \overline{b}}\mathbf{B}$, $S_{p, \tau, \theta}^{0, \overline{b}}B$ -- spaces of functions with…

Let $X$ be a smooth scheme over an algebraically closed field. When $X$ is proper, it was proved in \cite{me1} that the moduli of $\ell$-adic continuous representations of $\pi_1^\et(X)$, $\LocSys(X)$, is representable by a (derived)…

We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto \Pi(\mathbb G)_M$ to $\mathbb G$-modules of the…

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single…

Let $X$ be a locally compact Hausdorff space, let $A$ be a partially ordered algebra, and let $\pi\colon \mathrm{C}_{\mathrm c}(X)\to A$ be a positive algebra homomorphism. Under conditions on $A$ that are satisfied in a good number of…

Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

With a frame $L$ as the truth value table, we study the topological representations for frame-valued domains. We introduce the notions of locally super-compact $L$-topological space and strong locally super-compact $L$-topological space.…

We investigate infinite dimensional modules for a linear algebraic group $\mathbb G$ over a field of positive characteristic $p$. For any subcoalgebra $C \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider…

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler…

We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact…

We study embeddings of Besov-type and Triebel-Lizorkin-type spaces, $id_\tau : {B}_{p_1,q_1}^{s_1,\tau_1}(\Omega) \hookrightarrow {B}_{p_2,q_2}^{s_2,\tau_2}(\Omega)$ and $id_\tau : {F}_{p_1,q_1}^{s_1,\tau_1}(\Omega) \hookrightarrow…

This paper and its follow-up arXiv:2508.11109 are concerned with the well-posedness and $\mathrm{L}^p$-based Sobolev regularity for appropriate weak formulations of a family of prototypical PDEs posed on manifolds of minimal regularity. In…

The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the…

We show that for a large class of piecewise expanding maps T, the bounded p-variation observables u_0 that admits an infinite sequence of bounded p-variation observables u_i satisfying u_i(x)= u_{i+1}(Tx) -u_{i+1}(x) are constant. The…

A basic technique in model theory is to name the elements of a model by introducing new constant symbols. We describe the analogous construction in the language of syntactic categories/ sites. As an application we identify…

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…

We prove a multiplicative ergodic theorem for bistochastic completely positive (bcp) linear cocycles acting on finite-dimensional matrix algebras, giving an invariant splitting described explicitly in terms of the multiplicative domains of…

In this paper, we prove the converse of the dynamical Mordell--Lang conjecture in positive characteristic: For every subset $S \subseteq \mathbb{N}_0$ which is a union of finitely many arithmetic progressions along with finitely many…