Complete inductive theory with one countable existentially closed model.

Abstract

This article is constructed and studied in detail a complete inductive theory with a countable number of pairwise nonisomorphic countable models, among which is a simple existentially closed. It is also proved that it determined all of the major types of atoms, which are existential formulas, and in a class all its models are isomorphic embedding a simple model are elementary