Ramsey properties and extending partial automorphisms forhbox classes of finite structures
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10421815" target="_blank" >RIV/00216208:11320/21:10421815 - isvavai.cz</a>
Výsledek na webu
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=qO-95PhlTQ" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=qO-95PhlTQ</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4064/fm560-8-2020" target="_blank" >10.4064/fm560-8-2020</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Ramsey properties and extending partial automorphisms forhbox classes of finite structures
Popis výsledku v původním jazyce
We show that every free amalgamation class of finite structures with relations and (set-valued) functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors' Ramsey Theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the ordering property. For languages with relational symbols and unary functions we also show the extension property for partial automorphisms (EPPA) of free amalgamation classes. These general results solve several conjectures and provide an easy Ramseyness test for many classes of structures.
Název v anglickém jazyce
Ramsey properties and extending partial automorphisms forhbox classes of finite structures
Popis výsledku anglicky
We show that every free amalgamation class of finite structures with relations and (set-valued) functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors' Ramsey Theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the ordering property. For languages with relational symbols and unary functions we also show the extension property for partial automorphisms (EPPA) of free amalgamation classes. These general results solve several conjectures and provide an easy Ramseyness test for many classes of structures.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GJ18-13685Y" target="_blank" >GJ18-13685Y: Teorie modelů a extrémální kombinatorika</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Fundamenta Mathematicae
ISSN
0016-2736
e-ISSN
—
Svazek periodika
Neuveden
Číslo periodika v rámci svazku
253
Stát vydavatele periodika
PL - Polská republika
Počet stran výsledku
33
Strana od-do
121-153
Kód UT WoS článku
000613910300001
EID výsledku v databázi Scopus
2-s2.0-85108145071