Related papers: Model Theory for $C_p$-theorists

There has been an increasing interest in topological semantics for epistemic logic, which has been shown to be useful for, e.g., modelling evidence, degrees of belief, and self-reference. We introduce a polytopological PDL capable of…

We discuss the deep relationship between $\infty$-categorical functional analysis and the anticipated theory of $p$-adic motives. The motivation fundamentally comes from applications essentially in arithmetics from very broad perspectives.…

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz…

We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic…

The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be…

This paper investigates the notion of compact R-continuity and its specifications for set-valued mappings between Banach spaces. We reveal several important properties of compact R-continuity in general settings and show that in finite…

Let $G$ be a finitely generated, infinite group, let $p>1$, and let $L^p(G)$ denote the Banach space $\{\sum_{x\in G} a_xx \mid \sum_{x\in G} |a_x |^p < \infty \}$. In this paper we will study the first cohomology group of $G$ with…

We provide a general framework for the study of valuations on Banach lattices. This complements and expands several recent works about valuations on function spaces, including $L_p(\mu)$, Orlicz spaces and spaces $C(K)$ of continuous…

We extend the definitions of characters and partition functions to the case of conformal field theories which contain operators with logarithmic correlation functions. As an example we consider the theories with central charge c = c(p,1) =…

Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;\mathbb{F}_p)$ be the commutative ring spectrum of $\mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

Open discrete mappings with a modulus condition in metric spaces are considered. Some results related to local behavior of mappings as well as theorems about continuous extension to a boundary are proved.

We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…

We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…

We establish existence results for a class of mixed anisotropic and nonlocal $p$-Laplace equation with singular nonlinearities. We consider both constant and variable singular exponents. Our argument is based on an approximation method. To…

This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…

While the theory of matrix-weighted function spaces is well established, the majority of previous results in the infinite-dimensional operator-valued setting deal with "no go" theorems, showing the impossibility of some prospective…

The paper makes the first steps into the study of extensions ("twisted sums") of noncommutative $L^p$-spaces regarded as Banach modules over the underlying von Neumann algebra $\mathcal M$. Our approach combines Kalton's description of…