  \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{2019--20--B term}\\[0.2\baselineskip]

\end{center}

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

  \item[Course Number]
    \LRE{201‭.2‭.4281}

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

  \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}

  \begin{RTL}
תורת הקבוצות האקסיומטית היא היסוד לכל המתמטיקה המודרנית, ולהבדיל מתורות מתמטיות אחרות, בהן ניתן להוכיח תכונות של עצמים מתמטיים, בתורת הקבוצות האקסיומטית אפשר להוכיח שאי-אפשר להוכיח דבר מה.

בקורס נכיר את יסודות התורה, נלמד עוד על סודרים ומונים, נבקר בעולם העשיר של קומבינטוריקה אינסופית, ובסוף נציג את שיטת הכפייה של כהן, ובאמצעותה נציג את הוכחת אי-התלות של השערת הרצף של קנטור, שזיכתה את כהן בפרס פילדס.
\end{RTL}


\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}

\begin{itemize}
\item{} The reflection theorem
\item{} Mostowski collapse theorem
\item{} Absoluteness of formulas
\item{} The constructible universe
\item{} Forcing
\item{} Consistency of the negation of the continuum hypothesis
\item{} Consistency of the negation of the Axiom of choice
\end{itemize}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
