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

\end{center}

\begin{description}
  \item[Course Name]
    Introduction to Model Theory

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

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

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

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

We will present some basic notions and constructions from model theory, motivated by concrete questions about structures and their theories. Notions we expect to cover include:

\begin{itemize}
\item{} Types and spaces of types
\item{} Homogeneous and saturated models
\item{} Quantifier elimination and model companions
\item{} Elimination of imaginaries
\item{} Definable groups and fields
\end{itemize}

\subparagraph*{Prerequisites}

Students should be familiar with the following concepts from logic: Languages, structures, formulas, theories, the compactness theorem. In addition, some familiarity with field theory, topology and probability will be beneficial.




\section*{Course topics}

This course will cover a number of fundamentals of model theory including:

\begin{itemize}
\item{} Quantifer Elimination
\item{} Applications to algebra including algebraically closed fields and real closed  fields.
\item{} Types and saturated models.
\end{itemize}

Given time, the course may also touch upon the following topics:

\begin{itemize}
\item{} Vaught's conjecture and Morley's analysis of countable models
\item{} $\omega$-stable theories and Morley rank
\item{} Fraisse's amalgamation theorem.
\end{itemize}

\subparagraph*{Prerequisites}

Students should be familiar with the following concepts: Languages, structures, formulas, theories, Godel's completeness theorem and the compactness theorem.

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex: