Related papers: Model Theory for $C_p$-theorists
From the interpretation of Linear Logic multiplicative disjunction as the $\varepsilon$-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This…
A Banach space is said to be Grothendieck if weak and weak$^*$ convergent sequences in the dual space coincide. This notion has been quantificated by H. Bendov\'{a}. She has proved that $\ell_\infty$ has the quantitative Grothendieck…
The differential equations with piecewise constant argument (DEPCAs, for short) is a class of hybrid dynamical systems (combining continuous and discrete). In this paper, under the assumption that the nonlinear term is partially unbounded,…
The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for 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…
For any topological space there is a sheaf cohomology. A Grothendieck topology is a generalization of the classical topology such that it also possesses a sheaf cohomology. On the other hand any noncommutative $C^*$-algebra is a…
We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited…
We study the problem of continuity of derivations over Banach algebras. More specifically, we consider a class of Banach algebras that contain a dense '$C^*$-like' subalgebra. We discuss applications to $L^p$-crossed products and…
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…
Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…
We study pathwise $p$-th variation of continuous paths on a compact interval along a fixed partition sequence. Although the class of continuous paths with finite $p$-th variation is generally not linear, we develop a coefficient-based…
Starting from the hypothesis that both physics, in particular space-time and the physical vacuum, and the corresponding mathematics are discrete on the Planck scale we develop a certain framework in form of a '{\it cellular network}'…
The notions of $p$-convexity and concavity are fundamental tools for studying Banach lattices, as they partition the class of Banach lattices into a scale of spaces with $L_p$-like properties. Upper and lower $p$-estimates provide a…
A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…
We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…
Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of…
We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…
In the setting of Banach lattices the weak (resp. positive) Grothendieck spaces have been defined. We localize such notions by defining new classes of sets that we study and compare with some quite related different classes. This allows us…
Given a bounded subanalytic submanifold of $\mathbb{R}^n$, possibly admitting singularities within its closure, we study the cohomology of $L^p$ differential forms having an $L^p$ exterior differential (in the sense of currents) and…
We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…