↧
Answer by Olivier Roche for Is Hodges' definition of elementary embedding wrong?
This $\Longrightarrow$ implies the desired $\Longleftrightarrow$. It would indeed make more sense to define an elementary embedding $f$ to be a map $f : A \mapsto B$ satisfying $\forall \phi \ \forall...
View ArticleIs Hodges' definition of elementary embedding wrong?
I am reading the beautiful book by Hodges, A Shorter Model Theory. In sections 2.4 and 2.5 the authors classifies formulas through maps which preserve them and viceversa. All is very clear, except from...
View Article