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

\end{center}

\begin{description}
  \item[Course Name]
    Model theory and applications

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

  \item[Course web page]\mbox{}\\
    \url{https://www.math.bgu.ac.il//en/teaching/spring2022/courses/model-theory-applied}

  \item[Lecturer]
    Dr. Moshe Kamensky,
    \nolinkurl{<kamenskm@bgu.ac.il>},
    Office 104

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

\section*{Abstract}

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

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


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

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




\section*{Course topics}

The aim of the course is to present applications of model theory (a branch of Mathematical Logic) in one or more area of mathematics. The particular direction will be determined by coordination with the students, but might include the following:

\begin{itemize}
\item{} Algebraic theory of differential equations (Galois theory, dimension,
classification in dimension 1)
\item{} Model theory of valued fields (imaginaries, integration theory,
analytic spaces)
\item{} o-minimality, with applications to arithmetic
\item{} Difference fields and difference equations, applications to dynamics,
asymptotic theory of the Frobenius
\item{} Continuous model theory, applications to operator algebras,
probability etc.
Background from logic and other relevant areas will be covered as necessary.
\end{itemize}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
