Related papers: Model Theory for $C_p$-theorists
For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as…
Coorbit theory is a powerful machinery that constructs a family of Banach spaces, the so-called coorbit spaces, from well-behaved unitary representations of locally compact groups. A core feature of coorbit spaces is that they can be…
We introduce the category of structures and interpretations which allows us to discuss some issues of Grothendieck's anabelian geometry in model-theory terms. Our main result is a formulation in terms of pure stability theory of a problem…
A continuous frame is a family of vectors in a Hilbert space which allows reproductions of arbitrary elements by continuous superpositions. Associated to a given continuous frame we construct certain Banach spaces. Many classical function…
We study Banach spaces X with a strongly asymptotic l_p basis (any disjointly supported finite set of vectors far enough out with respect to the basis behaves like l_p) which are minimal (X embeds into every infinite dimensional subspace).…
In this paper we give a unitary approach for the simultaneous study of the convergence of discrete and integral operators described by means of a family of linear continuous functionals acting on functions defined on locally compact…
It is a translation of an old paper of mine. We describe the topology tau_p in the space Pi_p(Y,X), for which the closures of convex sets in tau_p and in *-weak topology of the space Pi_p(Y,X) are coincident. Thereafter, we investigate some…
We study the model theory of covers of groups definable in o-minimal structures. This includes the case of covers of compact real Lie groups. In particular we study categoricity questions, pointing out some notable differences with the case…
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over…
The Constraint Satisfaction Problem (CSP) is ubiquitous in various areas of mathematics and computer science. Many of its variations have been studied including the Counting CSP, where the goal is to find the number of solutions to a CSP…
Given a class $\mathcal C$ of models, a binary relation ${\mathcal R}$ between models, and a model-theoretic language $L$, we consider the modal logic and the modal algebra of the theory of $\mathcal C$ in $L$ where the modal operator is…
There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…
Metric topological vector spaces of Carath\'eodory functions and topologies of $L^p_{loc}$ type are introduced, depending on a suitable set of moduli of continuity. Theorems of continuous dependence on initial data for the solutions of…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
A topological setting is defined to study the complexities of the relation of equivalence of embeddings (or "position") of a Banach space into another and of the relation of isomorphism of complex structures on a real Banach space. The…
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental model-theoretic notion of type.
The new class of Banach spaces, so-called asymptotic $l_p$ spaces, is introduced and it is shown that every Banach space with bounded distortions contains a subspace from this class. The proof is based on an investigation of certain…
The famous Rosenthal-Lacey theorem asserts that for each infinite compact set $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c$ or $\ell_{2}$. What is the case when the uniform topology of $C(K)$ is replaced by the…