Spring 2017

Prof Menachem Kojman

יום ג 14:00 - 12:00 בגוטמן [32] חדר 114
יום ד 16:00 - 14:00 בצוקר, גולדשטיין-גורן [72] חדר 119

The course covers central ideas and central methods in classical set theory, without the axiomatic development that is required for proving independence results. The course is aimed as 2nd and 3rd year students and will equip its participants with a broad variety of set theoretic proof techniques that can be used in different branches of modern mathematics.

  • The notion of cardinality. Computation of cardinalities of various known sets.
  • Sets of real numbers. The Cantor-Bendixsohn derivative. The structure of closed subsets of Euclidean spaces.
  • What is Cantor’s Continuum Hypothesis.
  • Ordinals. Which ordinals are order-embeddable into the real line. Existence theorems ordinals. Hartogs’ theorem.
  • Transfinite recursion. Applications.
  • Various formulations of Zermelo’s axiom of Choice. Applications in algebra and geometry.
  • Cardinals as initial ordinals. Hausdorff’s cofinality function. Regular and singular cardinals.
  • Hausdorff’s formula. Konig’s lemma. Constraints of cardinal arithmetic.
  • Ideal and filters. Ultrafilters and their applications.
  • The filter of closed and unbounded subsets of a regular uncountable cardinal. Fodor’s pressing down lemma and applications in combinatorics.
  • Partition calculus of infinite cardinals and ordinals. Ramsey’s theorem. The Erdos-Rado theorem. Dushnik-Miller theorem. Applications.
  • Combinatorics of singular cardinals. Silver’s theorem.
  • Negative partition theorems. Todorcevic’s theorem.
  • Other topics
  1. Winfried Just and Martin Wese. Discovering modern set theory I, II. Graduate Studies in Mathematics, vol. 8, The AMS, 1996.
  2. Azriel Levy. Basic Set Theory. Dover, 2002.
  3. Ralf Schindler. Set Theory. Springer 2014.