One-point extension between atomic models

ID: one-point-extension-between-atomic-models

If are infinite atomic models of a complete theory and a finite partial elementary map sends to , then for every there is extending it by . An isolating formula for supplies . Back-and-forth therefore makes any two countable atomic models isomorphic.

New to topics? Read the docs here!