
www.Usenet.com
| <-- __Chronological__ --> | <-- __Thread__ --> |
Consider a f.o. language L. Let A* and B* two f.o. relational structures and let h:A-->B be a function. We say that h is an embedding of A* in B* if for every formula f(v_0,...,v1) in L and for every a_0,...,a_n in A we have A*|=f(a_0,...,a_n) iff B*|=f(h(a_0),...,h(a_n)). My question is: if h:A-->B is an isomorphism, A* is embedded in B* ? If yes, how to prove that? Thanks.
| <-- __Chronological__ --> | <-- __Thread__ --> |