Isomorphisms of models. (in logic).

  • #1
MathematicalPhysicist
Gold Member
4,442
264
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 on Isomorphisms of models. (in logic).

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