Basic Nonstandard Seminar - NLTM036
Title: Základní nestandardní seminář
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2022
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: cancelled
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Guarantor: doc. RNDr. Josef Mlček, CSc.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
Opinion survey results   Examination dates   Schedule   Noticeboard   
Annotation -
Last update: T_KTI (06.05.2010)
The seminar is intended for introductory-courses students. It deals with problems of mathematical logic (especially model theory) and set theory. Some time is devoted to applications as well, particularly to nonstandard methods based on a specific extension of mathematical structures. The seminar is coordinated with the lecture Fundamentals of Mathematical Logic (NLTM006) and enables students to acquire better and deeper insight to the problematics.
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

Syllabus -
Last update: T_KTI (14.05.2010)

Properties of theories and their models. Prime models, atomic,

saturated, compact, universal and homogeneous models.

Saturation and an introduction to nonstandard methods.

Undecidability of theories and structures.

Application of mathematical logic and model theory particularly in

algebra - alternative (shorter) proofs of some well-known theorems

(Hilbert's Nullstellensatz).