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 Skolem’s (-5[1])paradox. Unions with this property are implied by the prefix sigma, as in a (15[1])sigma-finite measure. Non-negativity, assigning zero to the null set, and a type of (*) additivity named for this (-5[1])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 (10[1])points, name this property of a set that has the same (10[1])cardinality as the natural numbers. (0[1])■END■

Back to tossups

Buzzes

Summary