A model is atomic when the complete type over the empty set of every finite tuple is isolated. For a complete theory in a countable language, a model is prime exactly when it is countable and atomic.
New to topics? Read the docs here!
New to topics? Read the docs here!