Isomorphisms of models. (in logic).

  • #1
MathematicalPhysicist
Gold Member
4,219
171

Main Question or Discussion Point

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.
 

Answers and Replies

  • #2
1,227
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
 

Related Threads for: Isomorphisms of models. (in logic).

  • Last Post
Replies
3
Views
2K
Replies
6
Views
4K
Replies
6
Views
5K
  • Last Post
Replies
9
Views
4K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
2
Views
1K
Replies
13
Views
8K
Top