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!