Density of isolated types from a prime model
ID: 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.
New to topics? Read the docs here!