Usenet.com

www.Usenet.com

Group Index

Sci Thread Archive from Usenet.com

<-- __Chronological__ --> <-- __Thread__ -->

Structures embedding



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__ -->


Usenet.com



Please check out one of the premium Usenet Newsgroup Service Providers below for access to Usenet.