Related papers: Model Theory of Adeles I
We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…
We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…
We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…
Following the structure theory approach for rings, the aim of this paper is to study some distinguished classes of Lie algebras. We introduce the notion of a Lie-module and discuss some relations of it with various classes of ideals of a…
We introduce and study monomial ideals with regular quotients, which can be seen as an extension of monomial ideals with linear quotients. Based on these investigations, we are able to calculate the Betti numbers of toric ideals belonging…
In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main…
We describe the equations of the Rees algebra R(I) of an equimultiple ideal I of deviation one, provided that I has a reduction J generated by a regular sequence and such that the initial forms of the elements of this sequence, except…
We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{\omega_1,\omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…
We describe derivations of several important associative and Lie rings of infinite matrices over general rings of coefficients.
A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.
We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…
In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…
In this work, we generalize several topological results and concepts from ring theory to the setting of monoids.
We give a survey on recent developments in the model theory of valued fields since the introduction of the notion of ``tame valued field'', and of the modifications and generalizations of this notion.
We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier…
We investigate the representation theory of the Temperley-Lieb algebra, $TL_n(\delta)$, defined over a field of positive characteristic. The principle question we seek to answer is the multiplicity of simple modules in cell modules for…
We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively,…