suppose our language contains one unary syombol function.(adsbygoogle = window.adsbygoogle || []).push({});

we are given the next 5 models:

A=<Z,x+1> B=<Z,x-1> C=<Q,-x> D=<Z,-x> E=<Q,x^2>

write which of the models are isomorphic to eachother.

where Z is the integer set, and Q is the ratioanls set.

my answer is that: A isomorphic to B, and C isomorphic to D, and these are the only isomorphisms.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Isomorphisms of models. (in logic).

**Physics Forums | Science Articles, Homework Help, Discussion**