SubjectsSubjects(version: 845)
Course, academic year 2018/2019
   Login via CAS
Nonstandard Seminar I - NLTM014
Title in English: Nestandardní seminář I
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2015
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: Czech
Teaching methods: full-time
Guarantor: doc. RNDr. Josef Mlček, CSc.
Class: DS, algebra, teorie čísel a matematická logika
Mat. logika a teorie množin
Classification: Informatics > Discrete Mathematics
Annotation -
Last update: G_I (30.05.2001)
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.
Literature - Czech
Last update: T_KTI (09.05.2005)

V. Kanovei, M. Reeken, Nonstandard analysis, axiomatically,

Springer Monographs in Mathematics, Springer-Verlag, Berlin-Heidelberg,


Pillay, A, Geometric Stability Theory, Clarendon Press, Oxford, 1996

Syllabus -
Last update: T_KTI (19.05.2004)

Nonstandard set universes. Methods of model theory. New results.

Charles University | Information system of Charles University |