#### Filter Results:

- Full text PDF available (47)

#### Publication Year

1965

2013

- This year (0)
- Last 5 years (6)
- Last 10 years (24)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- EHUD HRUSHOVSKI
- 1996

- Ehud Hrushovski
- Ann. Pure Appl. Logic
- 2001

- Ehud Hrushovski
- Ann. Pure Appl. Logic
- 1993

- Ehud Hrushovski
- 2002

Finite structures with few types / by Gregory Cherlin and Ehud Hrushovski. p. cm.– (Annals of mathematics studies ; no. 152) Includes bibliographical references and index. The publisher acknowledges the authors for providing the camera-ready copy from which this book was printed.

- Ehud Hrushovski
- 2004

- EHUD HRUSHOVSKI
- 2009

The questions this manuscript addresses arose in the course of an investigation of the imaginary sorts in ultraproducts of p-adic fields. These were shown to be understandable given the imaginary sorts of certain finite-dimensional vector spaces over the residue field. The residue field is pseudo-finite, and the imaginary elements there were previously… (More)

We study forking, Lascar strong types, Keisler measures and defin-able groups, under an assumption of N IP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if p = tp(b/A) does not fork over A then the Lascar strong type of b over A coincides with the compact strong type of b over A and any global nonforking… (More)

- E Hrushovski
- 1998

This paper contains a series of easy constructions and observations relating to the Lascar group and to simple theories. 1 In x1 we review basic model theoretic ideas, relating mostly to model completion and saturated models. We do so in order to introduce a framework very slightly more general than the usual rst-order one that will be useful to us, and… (More)

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 K n of certain definable R-submodules of K n (for all n ≥ 1). The proof involves the development of a theory of independence for unary types, which play the role of 1-types,… (More)

- Jeremy Avigad, Lance Fortnow, +5 authors DUGALD MACPHERSON
- 2007

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… (More)