proper forcing axiom
Sign in to saveAlso known as PFA
set theory axiom that if π is a proper forcing and π·(πΌ) is a dense subset of π for each πΌ<Οβ, then there is a filter πΊβπ such that π·(πΌ)β©πΊ is nonempty for all πΌ<Οβ
Wikidata facts
Show 2 more facts
- short name
- PFA
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata Β· CC0