\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\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{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



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

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge לוגיקה, תורת הקבוצות וטופולוגיה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שלישי, 15 בדצמבר, 2015}
\bigskip

\textbf{בשעה} \emph{12:15 -- 13:40}
\bigskip

\textbf{ב}\emph{Math -101}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries Definable topological dynamics and o-minimality\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape Grzegorz Jagiella 
  %
  (Haifa University)
}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  Fix a model \$M\$. For an \$M\$-definable group \$G\$ acting definably and transitively on a definable set \$X\$, we can consider the induced action on the space \$S\_X(M)\$ of types on \$X\$. This is an action by homeomorphisms (where \$S\_X(M)\$ is equipped with the standard Stone space topology), making the pair \$(G(M),S\_X(M))\$ a \$G(M)\$-flow in the sense of classic topological dynamics. I will discuss how various notions of topological dynamics are interpreted in the sense of model theory. I will then present the results on the universal definable flows of groups definable in an o-minimal setting (e.g. definable real Lie groups).
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex: