|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Pultr, Aleš (oponent)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Combinatorial Properties of Metrically Homogeneous Graphs
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Nešetřil, Jaroslav (oponent)
Ramseyova teorie hledá " pořádek v dostatečně velkém nepořádku". Teorie modelů studuje algebraické struktury jako modely teorií. Strukturální Ramseyova teorie tyto dva obory kombinuje a zabývá se ramseyovskými otázkami o určitých modelově-teoretických strukturách. V roce 2005 Nešetřil zahájil systematickou studii takzvaných Ramseyových tříd konečných struktur. Tato práce je příspěvkem do Nešetřilova programu: Studujeme zde ramseyovské expanze primitivních 3- constrained tříd z Cherlinova katalogu metricky homogenních grafů. Klíčovou ingrediencí je kombinatorický algoritmus, který doplní chybějící vzdálenosti v gra- fech s váženými hranami tak, aby dostal struktury z Cherlinova katalogu. Dalším důsledkem tohoto algoritmu je také EPPA, což je jiná kombinatorická vlastnost tříd konečných struktur. 1
|
host ::
RSS.