Page "Elementary equivalence" Paragraph 19
from
Wikipedia
Every elementary embedding is a strong homomorphism, and its image is an elementary substructure.
Page 1 of 1.
2.226 seconds.