PředmětyPředměty(verze: 970)
Předmět, akademický rok 2024/2025
   Přihlásit přes CAS
Teorie modelů - ALG500009
Anglický název: Model Theory
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2020
Semestr: zimní
Body: 0
E-Kredity: 5
Způsob provedení zkoušky: zimní s.:
Rozsah, examinace: zimní s.:2/0, Zk [HT]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Kompetence:  
Stav předmětu: nevyučován
Jazyk výuky: angličtina
Způsob výuky: prezenční
Úroveň:  
Další informace: http://jonathanverner.appspot.com/ALG500009
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
Garant: Mgr. Jonathan Verner, Ph.D.
Rozvrh   Nástěnka   
Anotace -
Cílem přednášky je na důkazu Morleyovy věty o kategoricitě ukázat různé metody pokročilé teorie modelů.
Probíraná témata zahrnují: definovatelné množiny a typy, saturované modely, prvomodely, Morleyův rank,
stabilita, kategoričnost struktur.
Poslední úprava: Verner Jonathan, Mgr., Ph.D. (18.08.2014)
Podmínky zakončení předmětu - angličtina

For the exam the students are required to know and understand the definitions and proofs (except for those marked 'without proof' in the expanded syllabus). 

Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
Literatura - angličtina
  • W. HodgesA Shorter Model Theory, CUP 2003
  • C. C. Chang and H. J. KeislerModel Theory, North-Holland 1973
  • A. Marcja, C. ToffaloriA Guide to Classical and Modern Model Theory, Kluwer 2003
Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
Sylabus - angličtina
The course covers the following topics
  • Preliminaries
  • Definable sets and types
  • Atomic models
  • Saturated models
  • Independence
  • Morley rank
  • Stability
  • Morley's theorem (an overview of the proof)
Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
 
Univerzita Karlova | Informační systém UK