Sample Questions for Test One 1. Define the ordered pairha; bi and show that it is a set for any sets a and b. 2. Show that if fa; bg = hc; di, then either a = c and b = d, or a = d and b = c. 3. Write a formula φ(x; y) of set theory which states that y = fxg. 4. Show that the class fx : x2 = xg is not a set. 5. Show that the intersection T C is a set for any class C. 6. Show that the intersection of a class and a set is a set. 7. Define the direct product A × B of two sets A and B and show that it is a set. 8. Define the product ΠA and show that it is a set. 9. Show that the Axiom of Replacement implies the Axiom of Comprehension 10. Show that for any sets a and b, it is not possible that a 2 b and b 2 a. 11. Prove by induction on n that, for any n 2 ! and any n sets a1; : : : ; an, there exists a set containing exactly those n elements. Use only the Pair and Union axioms. 12. Show that for any sets A and B, P(A \ B) = P(A) \P(B). 13. Show that f4; 5; 6;::: g is a set. 14. Define a monotone operator Γ with least fixed point P = f2n : n 2 !g; you may assume that addition is defined. 15. Show that for any linear ordering ≤ on a finite set A, A contains a largest element. 16. Use Tarski's definition to show that if A and B are both finite, then the product A [ B is also finite. You may assume that if a set S is finite, then S [ fig is finite for any i. 17. Use Tarski's definition to prove that if A is finite, then A is not isomorphic to any proper subset of A. 18. Give the recursive definition of addition and use it to prove by induction that 0 + n = n for all n. 19. Give the recursive definition of multiplication and use it to prove by in- duction that 1 · n = n for all n. S 20. If X is a finite set and X ⊆ An, then there exists n 2 N such that S n2N X ⊆ i≤n Ai. 21. Show that a set A is transitive if and only if S A ⊆ A. 22. Show that the union operator is both monotone and finitary. 23. Show that if Γ is a monotone and finitary operator, then Γ! is the least fixed point of Γ. 24. Show that the transitive closure trcl(a) exists for any set a. 25. Show that for any set A,(A; 2) satisfies the Empty Set Axiom. 26. Show that if A is transitive, then (A; 2) satisfies the Axiom of Extension- ality. 27. Let B = f1; f1g; 2g. Is B transitive? Does B satisfy Extensionality? 28. For any set A,(P(A); 2) satisfies the Axiom of Separation 29. Show that the Empty Set Axiom follows from the Axiom of Infinity and the Axiom of Separation. 30. Show by induction that Vn ⊆ Vn+1 for all n. 31. Show that Vn is transitive for all n 2 ! and that V! is transitive. 32. Show that V! satisfies the Union Axiom 33. Show that V! satisfies the Pair Axiom 34. Show that V! satisfies the Power Set Axiom 35. Show that the relation jxj ≤ jyj is transitive and that the relation jxj = jyj is an equivalence relation. 36. Show that for any set x, jxj < jP(x)j. 37. Show that if jxj ≤ jyj, then there is a surjection from y to x. 38. Show that a set A is infinite if and only if A is isomorphic to a proper subset of itself. 39. Show that if x is countable, then either x is finite or jxj = j!j. 40. Show that a set x is countable if and only if it is a surjective image of !. 41. Show that the product of two countable sets is sountable. 42. Show that the union of two countable sets is sountable. 43. Show that jP(A)j = j2Aj for any set A. 44. Show that the set of finite subsets of ! is countable. 45. Show that !n is countable for each n. 2.