Talk:Elementary embedding
Latest comment: 16 years ago by Zero sharp in topic needs work
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)