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
Opinion survey results   Examination dates   Schedule   Noticeboard   
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.
Aim of the course -
Last update: RNDr. Jan Hric (07.06.2019)

TBA

Course completion requirements -
Last update: RNDr. Jan Hric (07.06.2019)

TBA

Literature - Czech
Last update: T_KTI (09.05.2005)

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

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

2004

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.