All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Ramsey theory in the context of group theory, model theory and topological dynamics

Project goals

Recent connections between combinatorics (both finitary and infinitary), model theory, group theory and topological dynamics have led to a fruitful ground of research, which has motivated new developments in all of these areas and elsewhere, including fields of computer science such as (infinite domain) constraint satisfaction problems. Our team has a combined expertise in several key areas on which these new connections are built. We intend to focus on further development of systematic frameworks which should lead to solutions to several problems that were believed to be unrelated before.

Keywords

Ramsey theorytopological dynamicsautomorphism groupshomogeneous structures

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Standard projects

  • Call for proposals

    SGA0202100005

  • Main participants

    Univerzita Karlova / Matematicko-fyzikální fakulta

  • Contest type

    VS - Public tender

  • Contract ID

    21-10775S

Alternative language

  • Project name in Czech

    Ramseyova teorie v kontextu teorie grup, teorie modelů a topologické dynamiky

  • Annotation in Czech

    Nedávno objevené souvislosti kombinatoriky (jak konečné, tak nekonečné), teorie modelů, teorie grup a topologické dynamiky vedly k mnoha výsledkům, které motivovaly nový vývoj ve všech těchto oblastech s přesahem například do problémů teoretické informatiky, jako jsou problémy splnitelnosti podmínek (CSP) s nekonečnou doménou. Tým předkládaného projektu má zkušenosti v několika těchto oblastech. Plánujeme se zaměřit na další vývoj systematických teorií, které povedou k řešením problémů, o kterých se dříve předpokládalo, že spolu nesouvisí.

Scientific branches

  • R&D category

    ZV - Basic research

  • OECD FORD - main branch

    10101 - Pure mathematics

  • OECD FORD - secondary branch

    —

  • OECD FORD - another secondary branch

    —

  • BA - General mathematics

Solution timeline

  • Realization period - beginning

    Jan 1, 2021

  • Realization period - end

    Dec 31, 2023

  • Project status

    —

  • Latest support payment

    Mar 2, 2023

Data delivery to CEP

  • Confidentiality

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

  • Data delivery code

    CEP24-GA0-GA-R

  • Data delivery date

    May 21, 2024

Finance

  • Total approved costs

    8,853 thou. CZK

  • Public financial support

    8,559 thou. CZK

  • Other public sources

    294 thou. CZK

  • Non public and foreign sources

    0 thou. CZK

Basic information

Recognised costs

8 853 CZK thou.

Public support

8 559 CZK thou.

96%

Provider

Czech Science Foundation

OECD FORD

Pure mathematics

Solution period

01. 01. 2021 - 31. 12. 2023

Similar projects(10)

Model thoery and extremal combinatorics (GJ18-13685Y) Algebraic Language Theory for Infinite Trees (GA17-01035S) Model theory, structural combinatorics, and algorithms (GM24-12591M)