Některé otázky definovatelnosti
Some questions of definability
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/49622Identifikátory
SIS: 78347
Kolekce
- Kvalifikační práce [10690]
Autor
Vedoucí práce
Oponent práce
Kepka, Tomáš
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Matematické struktury
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
18. 9. 2012
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
definovatelnost, konečné orientované grafyKlíčová slova (anglicky)
definability, finite digraphsZaměříme se na prvořádovou definovatelnost v kvaziuspořádané třídě konečných orientovaných grafů uspořádané vnořitelností. Nejprve dokážeme definovatelnost každého grafu až do velikosti tři. Protože budeme muset k jazyku kvaziuspořádání přidat některé grafy jako konstanty, budeme se snažit najít nejmenší potřebnou množinu co možná nejmenších konstant. Postupně vybudujeme aparát, jehož prostřednictvím budeme schopni vyjádřit v jazyce vnořitelnosti vnitřní strukturu každého grafu. Nakonec vyšetříme některé aspekty definovatelnosti ve svazu univerzálních tříd orientovaných grafů. Ukážeme, že množina konečně generovaných a množina konečně axiomatizovatelných univerzálních tříd jsou definovatelné podmnožiny svazu.
We focus on first-order definability in the quasiordered class of finite digraphs ordered by embeddability. At first we will prove definability of each digraph up to size three. We will need to add to the quasiorder structure some digraphs as constants, so we try to find the needed set of constants as small as possible with small digraph as well. Gradually we make instruments that we can use to express the inner structure of each digraphs in the language of embeddability. At the end we investigate definability in the closely related lattice of universal classes of digraphs. We show that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice.