Algebras and structures in logic - ALG119005
| Title: |
Algebry a struktury v logice |
| Guaranteed by: |
Department of Logic (21-KLOG) |
| Faculty: |
Faculty of Arts |
| Actual: |
from 2022 |
| Semester: |
both |
| Points: |
0 |
| E-Credits: |
5 |
| Examination process: |
|
| Hours per week, examination: |
2/0, Ex [HT] |
| Capacity: |
winter:unlimited / unknown (unknown)
summer:unknown / unknown (unknown) |
| Min. number of students: |
unlimited |
| 4EU+: |
no |
| Virtual mobility / capacity: |
no |
| Key competences: |
|
| State of the course: |
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
you can enroll for the course in winter and in summer semester |
|
|
|
Last update: Mgr. Šárka Stejskalová, Ph.D. (21.09.2021)
B. Balcar a P. Štěpánek, Teorie množin. Academia, Praha, 2000.
C.C. Chang a H.J. Keisler, Model theory. Elsevier, 1990. |
|
Last update: Mgr. Šárka Stejskalová, Ph.D. (21.09.2021)
1] Isomorfismus a elementarní ekvivalence
- Isomorfismus, elementarní ekvivalence, Löwenheim-Skolemova věta pro teorie, druhořádové vlastnosti
2] Vnoření a homomorfismus
- vnoření, homomorfismus, podstruktury, elementární vnoření, Löwenheim-Skolemovy věty pro struktury
3] Ultraprodukt a ultramocnina
- ultraprodukt, ultramocnina, aplikace ultraproduktu a ultramocniny
4] Svazy, částečné uspořádání a Booleovy algebry
- svazy, distributivní svazy, Booleovy algebry, podalgebry
5] Příklady Booleových algeber
- dvouprvková Booleova algebra, potenční algebra, množinová algebra, Lindenbaum-Tarského algebra
6] Vlastnosti Booleových algeber
- nekonečné operace, úplne algebry, regulární podalgebry a zúplnění
7] Reprezentace Booleových algeber
- Stoneova věta o reprezentaci
|
|
