Existentially closed fields with holomorphy rings

In this paper we show that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally -adic fields with a -adic holomorphy ring have no model companions in the language of fields augmented by a unary predicate for the corresponding ring. Received February 6, 1993