Results 1  10
of
56
Definable sets in ordered structures
 Bull. Amer. Math. Soc. (N.S
, 1984
"... Abstract. This paper introduces and begins the study of a wellbehaved class of linearly ordered structures, the ^minimal structures. The definition of this class and the corresponding class of theories, the strongly ©minimal theories, is made in analogy with the notions from stability theory of m ..."
Abstract

Cited by 125 (8 self)
 Add to MetaCart
(Show Context)
Abstract. This paper introduces and begins the study of a wellbehaved class of linearly ordered structures, the ^minimal structures. The definition of this class and the corresponding class of theories, the strongly ©minimal theories, is made in analogy with the notions from stability theory of minimal structures and strongly minimal theories. Theorems 2.1 and 2.3, respectively, provide characterizations of Cminimal ordered groups and rings. Several other simple results are collected in §3. The primary tool in the analysis of ¿¡minimal structures is a strong analogue of "forking symmetry, " given by Theorem 4.2. This result states that any (parametrically) definable unary function in an (5minimal structure is piecewise either constant or an orderpreserving or reversing bijection of intervals. The results that follow include the existence and uniqueness of prime models over sets (Theorem 5.1) and a characterization of all N0categorical ¿¡¡minimal structures (Theorem 6.1). 1. Introduction. The
Shelah’s stability spectrum and homogeneity spectrum in finite diagrams
 Arch. Math. Logic
"... Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Finite Diagrams. Finite Diagrams is a context which generalizes the first order case. Localized versions of these theorems are presented. Our presentation is based on several papers; the poin ..."
Abstract

Cited by 24 (15 self)
 Add to MetaCart
(Show Context)
Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Finite Diagrams. Finite Diagrams is a context which generalizes the first order case. Localized versions of these theorems are presented. Our presentation is based on several papers; the point of view is contemporary and some of the proofs are new. The treatment of local stability in Finite Diagrams is new.
Integration in valued fields
 in Algebraic Geometry and Number Theory, Progr. Math. 253, Birkhäuser
, 2006
"... Abstract. We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and basefield independent foundations for integration over local fields of large residue characteristic, extending results of Denef,Loeser, Cluckers. The method depends on an ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and basefield independent foundations for integration over local fields of large residue characteristic, extending results of Denef,Loeser, Cluckers. The method depends on an analysis of definable sets up to definable bijections. We obtain a precise description of the Grothendieck semigroup of such sets in terms of related groups over the residue field and value group. This yields new invariants of all definable bijections, as well as invariants of measure preserving bijections.
A new uncountably categorical group
 Trans. Amer. Math. Soc
, 1996
"... Abstract. We construct an uncountably categorical group with a geometry that is not locally modular. It is not possible to interpret a field in this group. We show the group is CMtrivial. 1. ..."
Abstract

Cited by 21 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We construct an uncountably categorical group with a geometry that is not locally modular. It is not possible to interpret a field in this group. We show the group is CMtrivial. 1.
A primer of simple theories
 Archive Math. Logic
"... Abstract. We present a selfcontained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah’s 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We present a selfcontained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah’s 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay.
Unimodular minimal structures
 J. London Math. Soc
, 1992
"... A strongly minimal structure D is called unimodular if any two finitetoone maps with the same domain and range have the same degree; that is if/4: (/» • V is everywhere fc4tol, then kx = kc,. THEOREM. Unimodular strongly minimal structures are locally modular. This extends Zil'ber's t ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
A strongly minimal structure D is called unimodular if any two finitetoone maps with the same domain and range have the same degree; that is if/4: (/» • V is everywhere fc4tol, then kx = kc,. THEOREM. Unimodular strongly minimal structures are locally modular. This extends Zil'ber's theorem on locally finite strongly minimal sets, Urbanik's theorem on free algebras with the Steinitz property, and applies also to minimal types in N0categorical stable theories. Strongly minimal sets A strongly minimal set is a structure D such that every definable subset of D is finite or cofinite, uniformly in the parameters. For the importance of these in model theory, see [1] and [4]; relations to combinatorial geometry are discussed in [5] and [3]. We will use the existence of a theory of rank and multiplicity (Morley rank and
Classification from a computable viewpoint
 The Bulletin of Symbolic Logic
"... Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
(Show Context)
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism