A first-order structure has finite-tuple homogeneity when any two finite tuples of the same parameter-free complete type are related by an automorphism. For countably infinite first-order structures this agrees with extension of finite partial elementary maps to automorphisms. Countable atomic models have this property by a back-and-forth method using isolating logical formulas. Uncountable atomic models can fail it.

Ancestors (8)

  1. Homogeneous model
  2. Saturated model
  3. Elementary extension
  4. Model theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home

Incoming links (2)

View article source

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version