Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Isomorphisms of models. (in logic).

  1. Mar 31, 2007 #1
    suppose our language contains one unary syombol function.
    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.
     
  2. jcsd
  3. Mar 31, 2007 #2
    I don't understand your question, but I am curious.
    Could you explain it, or could you give me a link where I could find the basic definitions to understand you questions.

    Thanks,

    Michel
     
  4. Mar 31, 2007 #3
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Isomorphisms of models. (in logic).
  1. Isomorphic Groups (Replies: 0)

  2. Isomorphisms of graphs (Replies: 3)

  3. Order isomorphism (Replies: 2)

Loading...