Generické objekty
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 21 (SGA0201700001)
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
17-27844S
Alternativní jazyk
Název projektu anglicky
Generic objects
Anotace anglicky
An object can be called generic if it occurs typically, in the sense that its copies can be found in every residual set in an appropriate space of objects. The aim of the project is to study generic objects appearing in several areas of mathematics, finding new tools for constructing and detecting such objects, and exploring their combinatorial structure. Well-known examples of generic objects in model theory are Fraisse limits. Generic structures occur also naturally in topology (e.g. the Cantor set) and various areas of mathematical analysis (e.g. generic Banach spaces). Cohen's set-theoretic forcing offers a strong tool of constructing generic objects, usually needed for specific purposes and not related to Fraisse limits. One of our objectives is to explore links between the set-theoretic method of forcing and model-theoretic methods for constructing universal homogeneous structures.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Odborný přínos projektu je dobře popsán ve zprávě. Hlavní cíle byly zjevně naplněny, jak dosvědčuje několik velice dobrých publikací. Výzkum je založen na několika oblastech výzkumu a spoluautorech s další podporou. Tým také zahrnoval velmi dobré doktorandy, jeden z nich je jediným autorem jednoho z uvedených tří nejlepších výstupů projektu.
Termíny řešení
Zahájení řešení
1. 1. 2017
Ukončení řešení
31. 12. 2019
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
1. 4. 2019
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
CEP20-GA0-GA-U/02:1
Datum dodání záznamu
23. 7. 2020
Finance
Celkové uznané náklady
2 655 tis. Kč
Výše podpory ze státního rozpočtu
2 148 tis. Kč
Ostatní veřejné zdroje financování
507 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč