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