What is this property in model theory called?

111 Views Asked by At

Take three L-structures: $\cal{M}_0 \subset\cal{M}_1 \subset\cal{M}_2$. If $\cal{M}_0 \prec \cal{M}_2$ and $\cal{M}_1 \prec \cal{M}_2$, then we have $\cal{M}_0 \prec \cal{M}_1$.

Does this property have a name?

1

There are 1 best solutions below

0
On BEST ANSWER

This is one of the axioms of abstract elementary classes, and in that context it is called "coherence".