EntityQ749043· pop 5· linked from 19 articlesproper forcing axiomSign in to saveset 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 𝛼<ω₁ConnectionsforcingEntityInternational Standard Book NumberEntityset theoryEntitydigital object identifierEntityBoolean algebraEntitycardinal numberEntitypartially ordered setEntitySaharon ShelahEntityzbMATH OpenEntitylarge cardinalEntityantichainEntityMartin's axiomEntityStevo TodorčevićEntityKenneth KunenEntityregular cardinalEntityThomas JechEntitystationary setEntityaxiom of determinacyEntitycountable chain conditionEntityIsrael Journal of MathematicsEntityCategoriesAxioms of set theoryForcing (mathematics)