Related papers: $C_p$-Theory for Model Theorists

We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…

Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we…

We prove several results concerning the theory of Toeplitz algebras over $p$-Fock spaces using a correspondence theory of translation invariant symbol and operator spaces. The most notable results are: The full Toeplitz algebra is the norm…

The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…

The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of…

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

We continue the study of $L^p$-operator algebras associated with directed graphs initiated by Corti\~nas and Rodr\'iguez, and we establish $L^p$-analogs of both the gauge-invariant and the Cuntz-Krieger uniqueness theorems. The first of…

A set of differential operators acting by continuous deformations on path dependent functionals of open and closed curves is introduced. Geometrically, these path operators are interpreted as infinitesimal generators of curves in the base…

The theory of compact linear operators acting on a Banach space has such a classical core and is familiar to many. Perhaps lesser known is the characterization theorem of Terzio\u{g}lu for compact maps. In this paper we consider…

Genuine equivariant homotopy theory is equipped with a multitude of coherently commutative multiplication structures generalizing the classical notion of an $\mathbb{E}_\infty$-algebra. In this paper we study the…

We develop an analytic theory of cusps for Scholze's $p$-adic modular curves at infinite level in terms of perfectoid parameter spaces for Tate curves. As an application, we describe a canonical tilting isomorphism between an anticanonical…

We survey a collective achievement of a group of researchers: the PCP Theorems. They give new definitions of the class \np, and imply that computing approximate solutions to many \np-hard problems is itself \np-hard. Techniques developed to…

Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by…

For a Tychonoff space $X$, we denote by $(C(X), \tau_k, \tau_p)$ the bitopological space of all real-valued continuous functions on $X$ where $\tau_k$ is the compact-open topology and $\tau_p$ is the topology of pointwise convergence. In…

This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…

We survey several applications of fixed point theorems in the theory of invariant subspaces. The general idea is that a fixed point theorem applied to a suitable map yields the existence of invariant subspaces for an operator on a Banach…

Given an infinite matrix $M=(m_{nk})$ we study a family of sequence spaces $\ell_M^p$ associated with it. When equipped with a suitable norm $\|\cdot\|_{M,p}$ we prove some basic properties of the Banach spaces of sequences…

The main aim of this article is to establish an $L_p$-theory for elliptic operators on manifolds with singularities. The particular class of differential operators discussed herein may exhibit degenerate or singular behavior near the…