[FOM] negative types have standard models?

[Kanovei]

Ana reasonable nonstandard set theory (IST, BST, HST, etc.) 
defines *a* standared model  for negative types. 
Indeed first take the *standard model  (types are enumerated by 
by numbers in *N), then take h \in *N \setminus N, and consider 
only types of the form h+n and h-n , n \in N. 
the result depends on h, of course, but mode advanced tools  like 
isomorphism property can make the structures obtained with different h 
isomorphic. 

V.Kanovei