Nonstandard set universes. Methods of model theory.
New results.
Enlarged set universes are studied and methods of working in such universes are explicated and developed. Some knowledge of set theory and mathematical logic are assumed.