Filtry, ultrafiltry a souvislosti s forcingem
Cíle projektu
Projekt spadá do oblasti teorie množin a základy matematiky, konkrétně do kombinatorické teorie množin a forcingu. Projekt bude zkoumat nové kombinatorické a forcingové metody konstrukce ultrafiltrů se speciálními vlastnostmi v různých modelech teorie množin. Tyto nové metody pak bude využívat k nalezení odpovědí na otázky konzistence (neexistence P-bodů za velkého kontinua nebo za existence ultrafiltrů s malou bází), strukturální otázky ohledně filtrů (které ultrafiltry/filtry obsahují věže) a otázky týkající se kardinálních invariantů (independence number, free sequence number). Je známo, že současné metody nemohou některé z těchto otázek vyřešit, proto bude třeba přijít s novými nápady. Projekt bude používat metodu forcingových iterací, transfinitních konstrukcí využívajících diamantové principy, preservační věty a metody deskriptivní teorie množin. Projekt je společně navrhován prof. Martinem Goldsternem (TU Wien), dr. Jonathanem Vernerm (FF UK) a dr. Davidem Chodounským (AVČR).
Klíčová slova
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.
Univerzita Karlova / Filozofická fakultaDruh 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
(dle převodníku)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č
Základní informace
Uznané náklady
7 817 tis. Kč
Statní podpora
7 449 tis. Kč
95%
Poskytovatel
Grantová agentura České republiky
CEP
BA - Obecná matematika
Doba řešení
31. 03. 2017 - 31. 12. 2022