The notion of a strongly determined type over A extending p is introduced, where p .S. A strongly determined extension of p over A assigns, for any model M )- A, a type q S extending p such that, if realises q, then any elementary partial map M → M which fixes acleq pointwise is elementary over . This gives a crude notion of independence which arises very frequently. Examples are provided of many different kinds of theories with strongly determined (...) types, and some without. We investigate a notion of multiplicity for strongly determined types with applications to ‘involved’ finite simple groups, and an analogue of the Finite Equivalence Relation Theorem. Lifting of strongly determined types to covers of a structure is discussed, and an application to finite covers is given. (shrink)

We prove a main gap theorem for locally saturated submodels of a homogeneous structure. We also study the number of locally saturated models, which are not elementarily embeddable into each other.

We prove a main gap theorem for locally saturated submodels of a homogeneous structure. We also study the number of locally saturated models, which are not elementarily embeddable into each other.

We define a generalized notion of rank for stable theories without dense forking chains, and use it to derive that every type is domination-equivalent to a finite product of regular types. We apply this to show that in a small theory admitting finite coding, no realisation of a nonforking extension of some strong type can be algebraic over some realisation of a forking extension.

We answer a question of Cassidy and Kolchin about the universality of the constrained closure of a differential field by working in a larger category of models.

Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its typesetting counterpart. We prove that extension domination extends domination for types and that it forms a preorder on the space of global Keisler measures. We then explore some basic properties related to this notion (e.g., approximations by formulas, closure under localizations, convex combinations). We also prove a few preservation theorems (...) and provide some explicit examples. (shrink)

Non-perfect separably closed fields are stable, and not superstable. As a result, not all types can be ranked. We develop here a new tool, a "semi-rank", which takes values in the non-negative reals, and gives a sufficient condition for forking of types. This semi-rank is built up from a transcendence function, analogous to the one considered by Kolchin in the context of differentially closed fields. It yields some orthogonality and stratification results. /// Un corps séparablement clos non algébriquement clos est (...) stable sans être superstable. Cela signifie que seuls certains de ses types sont rangés. Nous développons un autre outil, un "semi-rang" à valeurs réelles, qui donne un critère de déviation des types. Ce semi-rang est construit à partir d'un analogue de la fonction de Kolchin associée à un type au-dessus d'un corps différentiel. Il produit des résultats de stratification des modèles et des résultats d'orthogonalité. (shrink)

A box type is an n-type of an o-minimal structure which is uniquely determined by the projections to the coordinate axes. We characterize heirs of box types of a polynomially bounded o-minimal structure M. From this, we deduce various structure theorems for subsets of $M^k $ , definable in the expansion M of M by all convex subsets of the line. We show that M after naming constants, is model complete provided M is model complete.

In the early eighties, answering a question of A. Macintyre, J. H. Schmerl ([13]) proved that every countable recursively saturated structure, equipped with a function β encoding the finite functions, is the β-closure of an infinite indiscernible sequence. This result implies that every countably saturated structure, in a countable but not necessarily recursive language, is an Ehrenfeucht-Mostowski model, by which we mean that the structure expands, in a countable language, to the Skolem hull of an infinite indiscernible sequence (in the (...) new language). More recently, D. Lascar ([5]) showed that the saturated model of cardinality ℵ 1 of an ω-stable theory is also an Ehrenfeucht-Mostowski model. These results naturally raise the following problem: which (countable) complete theories have an uncountably saturated Ehrenfeucht-Mostowski model. We study a generalization of this question. Namely, we call ACI-model a structure which can be expanded, in a countable language L', to the algebraic closure (in L') of an infinite indiscernible sequence (in L'). And we try to characterize the λ-saturated structures which are ACI-models. The main results are the following. First it is enough to restrict ourselves to ℵ 1 -saturated structures: if T has an ℵ 1 -saturated ACI-model then, for every infinite λ, T has a λ-saturated ACI-model. We obtain a complete answer in the case of stable theories: if T is stable then the three following properties are equivalent: (a) T is ω-stable, (b) T has a ℵ 1 saturated ACI-model, (c) every saturated model of T is an Ehrenfeucht-Mostowski model. The unstable case is more complicated, however we show that if T has an ℵ 1 -saturated ACI-model then T doesn't have the independence property. (shrink)

Let T be an uncountable, superstable theory. In this paper we prove Theorem A. If T has finite rank, then I(|T|, T) ≥ ℵ0. Theorem B. If T is trivial, then I(|T|, T) ≥ ℵ0.

The aim of this paper is to describe an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model theory and (...) group theory. However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote by the theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated group G satisfies iff G is isomorphic to a finite direct power of ℤ. It follows that axiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote by the theory of nontrivial divisible torsion-free abelian groups. (shrink)

The aim of this paper is to describe (without proofs) an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model (...) theory and group theory (see [14] and especially Chapters IV, V, VI and VIII for model theory, and see for example [23] and especially Chapters II and V for group theory). However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote bythe theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated groupGsatisfiesiffGis isomorphic to a finite direct power of ℤ. It follows thataxiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote bythe theory of nontrivial divisible torsion-free abelian groups. (shrink)

The aim of this paper is to describe an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model theory and (...) group theory. However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote by the theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated group G satisfies iff G is isomorphic to a finite direct power of ℤ. It follows that axiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote by the theory of nontrivial divisible torsion-free abelian groups. (shrink)

The paper continues [1]. Let S be a complete theory of ultraflat (e.g. planar) graphs as introduced in [4]. We show a strong form of NOTOP for S: The union of two models M1 and M2, independent over a common elementary submodel M0, is the primary model over M1 ∪ M2 of S. Then by results of [1] Mekler's construction [6] gives for such a theory S of nice ultraflat graphs a superstable 2-step-nilpotent group of exponent $p (>2)$ with NDOP (...) and NOTOP. (shrink)

We study the expansion of stable structures by adding predicates for arbitrary subsets. Generalizing work of Poizat-Bouscaren on the one hand and Baldwin-Benedikt-Casanovas-Ziegler on the other we provide a sufficient condition for such an expansion to be stable. This generalization weakens the original definitions in two ways: dealing with arbitrary subsets rather than just submodels and removing the ‘small' or ‘belles paires' hypothesis. We use this generalization to characterize in terms of pairs, the ‘triviality' of the geometry on a strongly (...) minimal set. Call a set A benign if any type over A in the expanded language is determined by its restriction to the base language. We characterize the notion of benign as a kind of local homogenity. Answering a question of [8] we characterize the property that M has the finite cover property over A. (shrink)

We prove weak elimination of imaginary elements for Boolean orderings with finitely many atoms. As a consequence we obtain equivalence of the two notions of o-minimality for Boolean ordered structures, introduced by C. Toffalori. We investigate atoms in Boolean algebras induced by algebraically closed subsets of Boolean ordered structures. We prove uniqueness of prime models in strongly o-minimal theories of Boolean ordered structures.

In this paper we set out the basic model theory of differential fields of characteristic 0, which have finitely many commuting derivations. We give axioms for the theory of differentially closed differential fields with m derivations and show that this theory is ω-stable, model complete, and quantifier-eliminable, and that it admits elimination of imaginaries. We give a characterization of forking and compute the rank of this theory to be ω m + 1.

Assume$G\prec H$are groups and${\cal A}\subseteq {\cal P}(G),\ {\cal B}\subseteq {\cal P}(H)$are algebras of sets closed under left group translation. Under some additional assumptions we find algebraic connections between the Ellis [semi]groups of theG-flow$S({\cal A})$and theH-flow$S({\cal B})$. We apply these results in the model theoretic context. Namely, assumeGis a group definable in a modelMand$M\prec ^* N$. Using weak heirs and weak coheirs we point out some algebraic connections between the Ellis semigroups$S_{ext,G}(M)$and$S_{ext,G}(N)$. Assuming every minimal left ideal in$S_{ext,G}(N)$is a group we prove (...) that the Ellis groups of$S_{ext,G}(M)$are isomorphic to closed subgroups of the Ellis groups of$S_{ext,G}(N)$. (shrink)

We give an exposition of results of Baldwin–Shelah [2] on saturated free algebras, at the level of generality of complete first order theoriesTwith a saturated modelMwhich is in the algebraic closure of an indiscernible set. We then make some new observations whenM isa saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking.

A set of axioms is presented defining an ‘analytic Zariski structure’, as a generalisation of Hrushovski and Zilber’s Zariski structures. Some consequences of the axioms are explored. A simple example of a structure constructed using Hrushovski’s method of free amalgamation is shown to be a non-trivial example of an analytic Zariski structure. A number of ‘quasi-analytic’ results are derived for this example e.g. analogues of Chow’s theorem and the proper mapping theorem.

In the early eighties, answering a question of A. Macintyre, J. H. Schmerl ([13]) proved that every countable recursively saturated structure, equipped with a functionβencoding the finite functions, is theβ-closure of an infinite indiscernible sequence. This result implies that every countably saturated structure, in a countable but not necessarily recursive language, is an Ehrenfeucht-Mostowski model, by which we mean that the structureexpands, in a countable language, to the Skolem hull of an infinite indiscernible sequence (in the new language).More recently, D. (...) Lascar ([5]) showed that the saturated model of cardinality ℵ1of anω-stable theory is also an Ehrenfeucht-Mostowski model.These results naturally raise the following problem: which (countable) complete theories have an uncountably saturated Ehrenfeucht-Mostowski model. We study a generalization of this question. Namely, we call ACI-model a structure which can be expanded, in a countable languageL′, to the algebraic closure (inL′) of an infinite indiscernible sequence (inL′). And we try to characterize theλ-saturated structures which are ACI-models.The main results are the following. First it is enough to restrict ourselves to ℵ1-saturated structures:if T has anℵ1-saturated ACI-model then, for every infinite λ, T has a λ-saturated ACI-model. We obtain a complete answer in the case of stable theories:if T is stable then the three following properties are equivalent: (a)T is ω-stable, (b)T has an ℵ1-saturated ACI-model, (c)every saturated model of T is an Ehrenfeucht-Mostowski model. The unstable case is more complicated, however we show thatif T has an ℵ1-saturated ACI-model then T doesn't have the independence property. (shrink)