Stromy a struktury: ramseyovské vlastnosti, symetrie a aplikace

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202500001

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-15571S

Název projektu anglicky

Trees and structures: Ramsey properties, symmetries and applications

Anotace anglicky

Ramsey theory has a unique position in mathematics and computer science. It is a broad area based on combinatorial principles that transcend individual disciplines, providing strong theorems as well as being a source of difficult problems. This project is motivated by recent rapid development in structural Ramsey theory. This area originated in 1970s and was revitalized in 2005. The main focus of the last two decades has been on the study of Ramsey classes of structures (partition properties of finite objects). In recent years, new techniques for studying partition properties of infinite objects emerged, generalizing the finitary results. This has led to new unforeseen developments yielding qualitatively better understanding of the area with significant overlap to related fields. Starting with these new tools we plan to solve key open problems in structural Ramsey theory and closely related areas (topological dynamics, group theory, model theory, and computer science). We plan to also prove classical (non-structural) Ramsey-type theorems for trees motivated by these results.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10101 - Pure mathematics

OECD FORD - vedlejší obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BA - Obecná matematika<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2025

Ukončení řešení

31. 12. 2027

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GA-R

Datum dodání záznamu

27. 2. 2025

Celkové uznané náklady

8 901 tis. Kč

Výše podpory ze státního rozpočtu

8 223 tis. Kč

Ostatní veřejné zdroje financování

678 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč