Introduction to Model Theory - ALG110013
| Title: |
Úvod do teorie modelů |
| Guaranteed by: |
Department of Logic (21-KLOG) |
| Faculty: |
Faculty of Arts |
| Actual: |
from 2019 |
| Semester: |
summer |
| Points: |
0 |
| E-Credits: |
5 |
| Examination process: |
summer s.: |
| Hours per week, examination: |
summer s.:2/0, Ex [HT] |
| Capacity: |
unknown / unknown (unknown) |
| Min. number of students: |
unlimited |
| 4EU+: |
no |
| Virtual mobility / capacity: |
no |
| Key competences: |
|
| State of the course: |
not taught |
| Language: |
Czech |
| Teaching methods: |
full-time |
| Teaching methods: |
full-time |
| Level: |
|
| Note: |
course can be enrolled in outside the study plan
enabled for web enrollment |
|
|
|
Last update: LOGHONZIK (30.09.2009)
Pojem prvořádové struktury. Morfismy, izomorfismy a elementární vnoření struktur. Podstruktury a elementární podstruktury. Löwenheim-Skolemovy věty. Faktorové struktury. Ultraprodukt a ultramocnina. Kompaktnost. Elementární řetězce a direktní limity. |
