1,618 research outputs found
Model theory of special subvarieties and Schanuel-type conjectures
We use the language and tools available in model theory to redefine and
clarify the rather involved notion of a {\em special subvariety} known from the
theory of Shimura varieties (mixed and pure)
Stone-Type Dualities for Separation Logics
Stone-type duality theorems, which relate algebraic and
relational/topological models, are important tools in logic because -- in
addition to elegant abstraction -- they strengthen soundness and completeness
to a categorical equivalence, yielding a framework through which both algebraic
and topological methods can be brought to bear on a logic. We give a systematic
treatment of Stone-type duality for the structures that interpret bunched
logics, starting with the weakest systems, recovering the familiar BI and
Boolean BI (BBI), and extending to both classical and intuitionistic Separation
Logic. We demonstrate the uniformity and modularity of this analysis by
additionally capturing the bunched logics obtained by extending BI and BBI with
modalities and multiplicative connectives corresponding to disjunction,
negation and falsum. This includes the logic of separating modalities (LSM), De
Morgan BI (DMBI), Classical BI (CBI), and the sub-classical family of logics
extending Bi-intuitionistic (B)BI (Bi(B)BI). We additionally obtain as
corollaries soundness and completeness theorems for the specific Kripke-style
models of these logics as presented in the literature: for DMBI, the
sub-classical logics extending BiBI and a new bunched logic, Concurrent Kleene
BI (connecting our work to Concurrent Separation Logic), this is the first time
soundness and completeness theorems have been proved. We thus obtain a
comprehensive semantic account of the multiplicative variants of all standard
propositional connectives in the bunched logic setting. This approach
synthesises a variety of techniques from modal, substructural and categorical
logic and contextualizes the "resource semantics" interpretation underpinning
Separation Logic amongst them
Non-archimedean tame topology and stably dominated types
Let be a quasi-projective algebraic variety over a non-archimedean valued
field. We introduce topological methods into the model theory of valued fields,
define an analogue of the Berkovich analytification of ,
and deduce several new results on Berkovich spaces from it. In particular we
show that retracts to a finite simplicial complex and is locally
contractible, without any smoothness assumption on . When varies in an
algebraic family, we show that the homotopy type of takes only a
finite number of values. The space is obtained by defining a
topology on the pro-definable set of stably dominated types on . The key
result is the construction of a pro-definable strong retraction of
to an o-minimal subspace, the skeleton, definably homeomorphic to a space
definable over the value group with its piecewise linear structure.Comment: Final versio
- …