Filters, Ultrafilters and Connections with Forcing
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
—
Main participants
Matematický ústav AV ČR, v. v. i.<br>Univerzita Karlova / Filozofická fakulta
Contest type
M2 - International cooperation
Contract ID
17-33849L
Alternative language
Project name in Czech
Filtry, ultrafiltry a souvislosti s forcingem
Annotation in Czech
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).
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The final peer review of the project was carried out by the partner agency on the LA principle.
Solution timeline
Realization period - beginning
Mar 31, 2017
Realization period - end
Dec 31, 2022
Project status
U - Finished project
Latest support payment
Apr 1, 2019
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
CEP23-GA0-GF-U
Data delivery date
Apr 1, 2024
Finance
Total approved costs
7,817 thou. CZK
Public financial support
7,449 thou. CZK
Other public sources
368 thou. CZK
Non public and foreign sources
0 thou. CZK