Lecturer(s)


Vychodil Vilém, doc. RNDr. Ph.D.

Course content

Introduction: Language, formulas, structural inductions, theories. Structures and models of theories, expansions and reducts of structures. Cardinality of sets, wellorder, ordinal numbers, transfinite induction. Models constructed from constants: Models constructed from constants, canonical structures. Completion of theories. Compactness theorem and its applications. Omitting of types. Elementary chains: Diagrams of structures. Elementary equivalence. Elementary substructures. Chains of structures and their unions. Elementary chains of structures. Applications. LöwenheimSkolem theorem: LöwenheimSkolem theorem: ``downward direction'' and its consequences. Skolem's ``illusive paradox''. LöwenheimSkolem theorem: ``upward direction'' and its consequences for predicate logic. Reduced products and ultraproducts: Centered system of sets, filters, ultrafilters, existence of nontrivial ultrafilters. Reduced products, ultraproducts, theorem of Los'. Compactness as an application of ultraproducts. Elementary classes of structures. Applications of ultraproducts for characterization of implicationally defined classes of algebras.

Learning activities and teaching methods

Lecture
 Preparation for the Exam
 120 hours per semester

Learning outcomes

The students become familiar with basic concepts of model theory.
1. Knowledge Describe and understand comprehensively principles and methods of model theory.

Prerequisites

unspecified

Assessment methods and criteria

Oral exam, Written exam
Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam.

Recommended literature


Burris S., Sankappanavar H. P. (1981). A Course in Universal Algebra. SpringerVerlag, New York.

Ebbinghaus H. D., Flum J. (1999). Finite Model Theory. SpringerVerlag Berlin Heidelberg (druhé vydání).

Gratzer G. (1979). Universal Algebra. SpringerVerlag Berlin Heidelberg (druhé vydání).

Chang C. C., Keisler H. J. (1990). Model Theory. North Holland.

Ježek J. (1976). Univerzální algebra a teorie modelů. SNTL Praha.

Mendelson E. (1997). Introduction to Mathematical Logic. Chapman & Hall, UK (fourth edition).

Poizat B. (2000). A Course in Model Theory. Springer.

Sochor A. (2001). Klasická matematická logika. Karolinum, Praha.

Švejdar V. (2002). Logika: neúplnost, složitost a nutnost. Academia, Praha.

Wechler W. (1992). Universal Algebra for Computer Scientists. SpringerVerlag Berlin Heidelberg.
