PFA (aksjomat) Aksjomat forsingowy PFA, czyli aksjomat proper forcing axiom, jest istotnym elementem teorii mnogości oraz topologii. Wprowadza on szczególne właściwości dotyczące porządków częściowych, które mają zastosowanie w różnych dziedzinach matematyki. PFA ma za zadanie zapewnić istnienie filtrów gęstych w kontekście pojęć forsingu, co pozwala na lepsze zrozumienie struktury zbiorów i ich własności. Definicje formalne

Read more...