[FOM] negative types have standard models?

Kanovei kanovei at wmwap1.math.uni-wuppertal.de
Thu Sep 19 00:18:35 EDT 2002

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 


More information about the FOM mailing list