Filtry, ultrafiltry a souvislosti s forcingem
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Mezinárodní grantové projekty hodnocené na principu LEAD Agency
Veřejná soutěž
—
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.<br>Univerzita Karlova / Filozofická fakulta
Druh soutěže
M2 - Mezinárodní spolupráce
Číslo smlouvy
17-33849L
Alternativní jazyk
Název projektu anglicky
Filters, Ultrafilters and Connections with Forcing
Anotace anglicky
The project falls within the scope of Set Theory & Foundations of Mathematics, specifically Combinatorial Set Theory and Forcing. We will investigate new combinatorial and forcing methods for constructing ultrafilters with special properties in different models of Set Theory.It will use these methods to answer independence questions about ultrafilters (no P-points with a large continuum or small character filters), structural questions about filters (which ultrafilters/filters contain towers) and questions about the related cardinal invariants (independence number, free sequence number). It is known that current methods cannot answer some of these questions so the project will have to come up with novel ideas. The methods used will include forcing iterations, diamond-like constructions, preservation theorems and methods from descriptive set theory. The project is a joint proposal by prof. Martin Goldstern (TU Wien), Jonathan Verner (Charles University) and David Chodounský (The Czech Academy of Sciences).
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
Závěrečné odborné hodnocení projektu provedla na principu LA partnerská agentura.
Termíny řešení
Zahájení řešení
31. 3. 2017
Ukončení řešení
31. 12. 2022
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
CEP23-GA0-GF-U
Datum dodání záznamu
1. 4. 2024
Finance
Celkové uznané náklady
7 817 tis. Kč
Výše podpory ze státního rozpočtu
7 449 tis. Kč
Ostatní veřejné zdroje financování
368 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč