Abstract
We provide a geometric condition which characterises when thePrinciple of Dependent Choice holds in a Fraenkel-Mostowski-Specker permutationmodel. This condition is a slight weakening of requiring the filter of groups tobe closed under countable intersections. We show that this condition holds nontriviallyin a new permutation model we call "the nowhere dense model" and westudy its extensions to uncountable cardinals as well.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have