The Journal of Symbolic Logic

Research Article

Kueker's conjecture for stable theories

Ehud Hrushovski 

Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903

Abstract

Kueker's conjecture is proved for stable theories, for theories that interpret a linear ordering, and for theories with Skolem functions. The proof of the stable case involves certain results on coordinatization that are of independent interest.

(Received April 27 1987)

(Revised September 14 1987)

Correspondence

Department of Mathematics, Princeton University, Princeton, New Jersey 08544