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

    MathematicalPhysicist

    User Avatar
    Gold Member

    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

    MathematicalPhysicist

    User Avatar
    Gold Member

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




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

  2. Isomorphisms of graphs (Replies: 3)

  3. Order isomorphism (Replies: 2)

Loading...