[FOM] negative types have standard models?
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