Talk:Elementary embedding
needs work
[edit]I don't think 'elementary substructure' is the primitive concept here, most of the definitions of e. embedding I've read are in terms of preserving arbitrary formulas, and then elem. substructure is defined in terms of the inclusion map being an elementary embedding. Hodges "A Shorter Model Theory" for example. Zero sharp 00:43, 7 October 2007 (UTC)