Abstraktní konvergenční schémata a jejich složitost
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Grantové projekty excelence v základním výzkumu EXPRO
Veřejná soutěž
SGA0202000004
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
20-31529X
Alternativní jazyk
Název projektu anglicky
Abstract convergence schemes and their complexities
Anotace anglicky
Abstract convergence schemes are basic category-theoretic structures which serve as universes for studying infinite evolution-like processes and their limiting behavior. Convergence schemes endowed with extra structures provide an applicable framework for studying both discrete and continuous processes as well as their random variants. The main goal of the project is unifying and extending several concepts from model theory, algebra, topology and analysis, related to generic structures. We propose studying selected topics within the framework of abstract convergence schemes, addressing questions on their complexity and classification. One of our inspirations is the theory of universal homogeneous models, where convergence of finite structures is involved. Another motivation is set-theoretic forcing, where a convergence scheme is simply a partially ordered set of approximations of some ``unreachable" objects, living outside of the universe of set theory.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
—
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>)
BA - Obecná matematika
Termíny řešení
Zahájení řešení
1. 1. 2020
Ukončení řešení
31. 12. 2024
Poslední stav řešení
K - Končící víceletý projekt
Poslední uvolnění podpory
21. 7. 2023
Dodání dat do CEP
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
CEP24-GA0-GX-R
Datum dodání záznamu
19. 2. 2024
Finance
Celkové uznané náklady
29 160 tis. Kč
Výše podpory ze státního rozpočtu
29 160 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč