  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}


\pagestyle{fancy}
\begin{center}

  \huge{The Department of Mathematics}\\[0.1\baselineskip]
  \Large{2016--17--B term}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[Course Name]
    Classical Set Theory

  \item[Course Number]
    \LRE{201‭.1‭.0371}

  \item[Course web page]\mbox{}\\
    \url{https://math.bgu.ac.il//en/teaching/spring2017/courses/classical-set-theory}

  \item[Lecturer]
    Prof. Menachem Kojman,
    \nolinkurl{<kojman@bgu.ac.il>},
    Office 111

\item[Office Hours]
  \url{https://math.bgu.ac.il/en/teaching/hours}
\end{description}

\section*{Abstract}




\section*{Requirements and grading\footnote{Information may change during the first two weeks of the term. Please consult the webpage for updates}}






\section*{Course topics}

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.

\subparagraph*{Sylabus}

\begin{itemize}
\item{} The notion of cardinality. Computation of cardinalities of various known sets.
\item{} Sets of real numbers. The Cantor-Bendixsohn derivative. The structure of closed subsets of Euclidean spaces.
\item{} What is Cantor's  Continuum Hypothesis.
\item{} Ordinals. Which ordinals are order-embeddable into the real line. Existence theorems ordinals. Hartogs' theorem.
\item{} Transfinite recursion. Applications.
\item{} Various formulations of Zermelo's axiom of Choice. Applications in algebra and geometry.
\item{} Cardinals as initial ordinals. Hausdorff's cofinality function. Regular and singular cardinals.
\item{} Hausdorff's formula. Konig's lemma.  Constraints of cardinal arithmetic.
\item{} Ideal and filters. Ultrafilters and their applications.
\item{} The filter of closed and unbounded subsets of a regular uncountable cardinal. Fodor's pressing down lemma and applications in combinatorics.
\item{} Partition calculus of infinite cardinals and ordinals. Ramsey's theorem. The Erdos-Rado theorem. Dushnik-Miller theorem.  Applications.
\item{} Combinatorics of singular cardinals. Silver's theorem.
\item{} Negative partition theorems. Todorcevic's theorem.
\item{} Other topics
\end{itemize}

\subparagraph*{Bibliography.}

\begin{enumerate}
\item{} Winfried Just and Martin Wese. Discovering modern set theory I, II. Graduate Studies in Mathematics, vol. 8, The AMS, 1996.
\item{} Azriel Levy. Basic Set Theory. Dover, 2002.
\item{} Ralf Schindler. Set Theory. Springer 2014.
\end{enumerate}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
