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 - The Fusion of Science and Community**

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).

Loading...

Similar Threads for Isomorphisms models logic | Date |
---|---|

Graph (regular) Isomorphism in n^(O(log2(n))) . | Mar 10, 2015 |

Cayley's Theorem (isomorphisms of Cyclics to SN) | Feb 9, 2015 |

Isomorphism under differentiation | Dec 16, 2014 |

Order isomorphism | Dec 26, 2011 |

Term structure isomorphic to the usual model/structure of number theory | Oct 28, 2011 |

**Physics Forums - The Fusion of Science and Community**