Related papers: Model Theory of Adeles I
We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.
We develop some basic facts on deformations of exterior differential ideals on a smooth complex algebraic variety. With these tools we study deformations of several types of differential ideals, leading to several irreducible components of…
We investigate abstract model theoretic properties which holds for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyse in which cases those properties in fact ensure the definability…
The abelian sigma model in (1+1) dimensions is a field theoretical model which has a field $ \phi : S^1 \to S^1 $. An algebra of the quantum field is defined respecting the topological aspect of the model. It is shown that the zero-mode has…
The main objective consists in endowing the elementary particles with an algebraic space-time structure in the perspective of unifying quantum field theory and general relativity: this is realized in the frame of the Langlands global…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
We study the special fibers of a certain class of absolutely simple abelian varieties over number fields with endomorphism rings $\bz$ and possessing $l$-adic monodromy groups of the least possible rank. We also study the Dirichlet density…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
We open a new field on how one can define means on infinite sets. We investigate many different ways on how such means can be constructed. One method is based on sequences of ideals, other deals with accumulation points, one uses isolated…
We survey some recent developments in the analytic theory of multiple Dirichlet series with arithmetical coefficients on the numerators.
A perturbative formulation of algebraic field theory is presented, both for the classical and for the quantum case, and it is shown that the relation between them may be understood in terms of deformation quantization.
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
In this brief note we analyse a toy model which can be derived from heterotic string compactifications on half-flat manifolds with SU(3) structure at first order in \alpha' (ie including matter fields). We show that for this model, finding…
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…
Following the results and the general methodological framework of a preceeding paper (Models and Metaphors, part I, henceforth: MM), we develop some results on the epistemological state of natural laws and ask for explicit possibilities of…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types…
We develop a theory of toroidal vertex algebras and their modules, and we give a conceptual construction of toroidal vertex algebras and their modules. As an application, we associate toroidal vertex algebras and their modules to toroidal…
We present a dependently-typed cross-linguistic framework for analyzing the telicity and culminativity of events, accompanied by examples of using our framework to model English sentences. Our framework consists of two parts. In the nominal…