Packet 1: Tossup 6

Lotfi Zadeh defined “fuzzy” versions of these objects where the law (15[1])of excluded middle (-5[1])doesn’t hold. (15[2]-5[2])Atypically, (15[1]-5[1])the NF theory of these objects uses an IFF for the axiom of extensionality. (15[1])Max Zorn showed (-5[1])that partially (15[1])ordered (15[1])types (15[5])of these objects (15[2])must (15[1])have a maximal (-5[1])element. (15[3])The (15[1])(*) Cartesian (10[1])product (10[2])between two of these (10[1])objects (10[2])can be formatted (10[2])using “builder notation.” Zermelo and Fraenkel’s (-5[1])theory for these (10[1])things (10[1])is called ZFC when including the axiom of choice. The cardinality (-5[1])of the (10[1])empty (10[1])one of these (10[1])objects is zero. (10[3])For 10 points, curly braces are (10[1])used to write (10[1])what unordered collections of elements? (10[2])■END■ (10[5]0[3])

Back to tossups

Buzzes

Summary