SubjectsSubjects(version: 845)
Course, academic year 2018/2019
   Login via CAS
Basic Nonstandard Seminar - NLTM036
Title in English: Základní nestandardní seminář
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2015
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:0/2 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: not taught
Language: Czech
Teaching methods: full-time
Guarantor: doc. RNDr. Josef Mlček, CSc.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
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.
Literature - Czech
Last update: T_KTI (09.05.2005)

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

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


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).

Charles University | Information system of Charles University |