The Extension Property for Partial Automorphisms (EPPA) of Reducts of Relational Structures
| Název práce v češtině: | Rozšířující vlastnost částečných automorfismů (EPPA) reduktů relačních struktur |
|---|---|
| Název v anglickém jazyce: | The Extension Property for Partial Automorphisms (EPPA) of Reducts of Relational Structures |
| Klíčová slova: | EPPA|Hrushovského vlastnost|Rozšířující vlastnost částečných automorfismů|Redukt relační struktury |
| Klíčová slova anglicky: | EPPA|Hrushovski property|reduct of relational structures|Extension property for partial automorphisms |
| Akademický rok vypsání: | 2020/2021 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra aplikované matematiky (32-KAM) |
| Vedoucí / školitel: | doc. Mgr. Jan Hubička, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 27.05.2021 |
| Datum zadání: | 31.05.2021 |
| Datum potvrzení stud. oddělením: | 15.06.2021 |
| Datum a čas obhajoby: | 07.09.2023 09:00 |
| Datum odevzdání elektronické podoby: | 20.07.2023 |
| Datum odevzdání tištěné podoby: | 23.07.2023 |
| Datum proběhlé obhajoby: | 07.09.2023 |
| Oponenti: | RNDr. Matěj Konečný, Ph.D. |
| Zásady pro vypracování |
| Student will familiarize himself with different constructions of EPPA witnesses and with fundamentals of model theory. He will consider
possibility of extending one of the known constructions for reducts of the random graph (a class of graphs with complementing automorphisms). He will also study small examples using computer program to identify additional examples of EPPA witnesses of this case. |
| Seznam odborné literatury |
| Herwig, B. and Lascar, D., 2000. Extending partial automorphisms and the profinite topology on free groups. Transactions of the American Mathematical Society, 352(5), pp.1985-2021.
Hubička J, Konečný M, Nešetřil J. All those EPPA classes (strengthenings of the Herwig-Lascar theorem). arXiv preprint arXiv:1902.03855. 2019 Feb 11. Hodges W. A shorter model theory. Cambridge university press; 1997 Apr 10. Evans D, Hubička J, Konečný M, Nešetřil J. EPPA for two-graphs and antipodal metric spaces. Proceedings of the American Mathematical Society. 2020;148(5):1901-15. |