Definition:Homogeneous (Model Theory)
This page is about Homogeneous in the context of Model Theory. For other uses, see Homogeneous.
 | This page has been identified as a candidate for refactoring of basic complexity. In particular: equivalent definition into its own page Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
 | Although this article appears correct, it's inelegant. There has to be a better way of doing it. In particular: sentences are too long You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by redesigning it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Improve}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
 | This article needs to be linked to other articles. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |
Definition
Let $T$ be an $\LL$-theory.
Let $\kappa$ be an infinite cardinal.
A model $\MM$ of $T$ is $\kappa$-homogeneous if and only if for every subset $A$ and element $b$ in the universe of $\MM$ with the cardinality of $A$ strictly less than $\kappa$, if $f: A \to \MM$ is partial elementary, then $f$ extends to an elementary map $f^*: A \cup \set b \to \MM$.
That is, $\MM$ is $\kappa$-homogeneous if and only if for all $A \subseteq \MM$ with $\card A < \kappa$ and all $b \in \MM$, every elementary $f: A \to \MM$ extends to an elementary $f^*: A \cup \set b \to \MM$.
We say $\MM$ is homogeneous if and only if it is $\kappa$-homogeneous where $\kappa$ is the cardinality of the universe of $\MM$.
Equivalent Definition
$\MM$ is homogeneous if and only if it has some infinite cardinality $\kappa$ and for every $A \subseteq \MM$ with $\card A < \kappa$, each partial elementary map $f: A \to \MM$ extends to an automorphism.
The equivalence of this definition is proved in Homogeneous iff Partial Elementary Maps Extend to Automorphisms.