We generalize previous results about stable domination and residue field domination to henselian valued fields of equicharacteristic 0 with bounded Galois group, and we provide an alternate characterization of stable domination in algebraically closed valued fields for types over parameters in the field sort.

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field, over the value group, both in the pure field and in the geometric sorts. These results characterize forking and p-forking in real closed valued fields (and also algebraically closed valued fields). We lay some groundwork for extending these results to a power-bounded T-convex theory.

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and P-minimal theories.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Logic, an international organization for furthering research in logic and the exchange of ideas among mathematicians, computer scientists, linguists, and others interested in this fi eld.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.

The purpose of this paper is to study an analogue of Hilbert's seventeenth problem for functions over a valued field which are integral definite on some definable set; that is, that map the given set into the valuation ring. We use model theory to exhibit a uniform method, on various theories of valued fields, for deriving an algebraic characterization of such functions. As part of this method we refine the concept of a function being integral at a point, and make it dependent on the relevant class of valued fields. We apply our framework to algebraically closed valued fields, model complete theories of difference and differential valued fields, and real closed valued fields.

We give here a brief preview of stability theory, as it underpins stable domination. We also introduce some of the model-theoretic notation used later. Familiarity with the basic notions of logic (languages, formulas, structures, theories, types, compactness) is assumed, but we explain the model theoretic notions beginning with saturation, algebraic closure, imaginaries. We have in mind a reader who is familiar with o-minimality or some model theory of valued fields, but has not worked with notions from stability. Sources include Shelah's Classification Theory as well as books by Baldwin, Buechler, Pillay and Poizat. There is also a broader introduction by Hart intended partly for non-model theorists, and an introduction to stability theory intended for a wider audience in. Most of the stability theoretic results below should be attributed to Shelah. Our treatment will mostly follow Pillay.

This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

Abstract It is shown that if K is an algebraically closed valued field with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in Kn of certain definable R-submodules of Kn (for all ). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of definable functions from unary sets to the sorts.