proper forcing axiom (Q749043)
Jump to navigation
Jump to search
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 𝛼<ω₁
- PFA
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | proper forcing axiom |
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 𝛼<ω₁ |
|
Statements
PFA (English)
0 references
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Proper forcing axiom
- plwiki PFA (aksjomat)
- pmswiki Assiòma dël forsament pròpi