Charles Explorer logo
🇬🇧

Nonstandard Seminar 1

Class at Faculty of Mathematics and Physics |
NLTM014

Syllabus

Nonstandard set universes. Methods of model theory.

New results.

Annotation

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.