Density of isolated types from a prime model
= Density of isolated types from a prime model
If a complete countable theory has a prime model, isolated types are dense in every finite-arity type space. Every nonempty basic open set is realized in the prime model, whose finite tuples have isolated types.