Round 1: Tossup 20

If a partially ordered set meets a condition named for this property, any collection of dense subsets of small size gives rise to a generic filter, by Martin’s axiom. A model with this property can nonetheless possess sets (emphasize) without this property, by (15[1])Skolem’s paradox. Unions with this property are implied by the prefix sigma, as in a sigma-finite measure. Non-negativity, assigning zero to the null set, and a type of (*) additivity named for this property are the axioms of a measure. A famous proof by contradiction from 1891 assumes that a set [emphasize] has this property, then forms a new element that differs from all others in one coordinate. This property is [emphasize] not held by the set of infinite binary sequences, by Cantor’s diagonal argument. For 10 points, name this property of a set that has the same cardinality as the natural numbers. ■END■

Back to tossups

Buzzes

Summary