Název: Rozšířující vlastnost částečných automorfismů (EPPA) reduktů relačních struktur
Překlad názvu: The Extension Property for Partial Automorphisms (EPPA) of Reducts of Relational Structures
Autoři: Beliayeu, Mikhail ; Hubička, Jan (vedoucí práce) ; Konečný, Matěj (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: eng
Abstrakt: The Extension Property for Partial Automorphisms (EPPA), also called Hrusovski property, is a crucial concept in the realms of combinatorics, group theory, and model theory, linking the properties of structures and the classes of finitely generated substruc- tures that embed into them. The notion of EPPA, established by Hodges, Hodkinson, Lascar, and Shelah, has spurred significant advancements in understanding graph struc- tures and the automorphism groups associated with them. A milestone was achieved by Hrusovski, who demonstrated EPPA for the class of finite graphs. The research since has centered on categorizing more classes with EPPA, simplifying proof techniques, and understanding the broader implications of EPPA. This thesis contributes to this ongoing pursuit, specifically aiming to demonstrate EPPA for graph classes enriched by comple- mentary automorphisms. It includes an analysis of undirected and directed graphs with loops and extends the exploration to a class of general structures in a finite relational language. 1
Klíčová slova: EPPA|Hrushovského vlastnost|Rozšířující vlastnost částečných automorfismů|Redukt relační struktury; EPPA|Hrushovski property|reduct of relational structures|Extension property for partial automorphisms

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/184430

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-534046


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2023-10-01, naposledy upraven 2023-12-17.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet