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

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

{\Large Department of Mathematics, BGU}

\vspace*{\baselineskip}

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

{\Huge Colloquium}\\[0.2\baselineskip]

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

\textbf{On} \emph{Tuesday, April 14, 2015}
\bigskip

\textbf{At} \emph{14:30 -- 15:30}
\bigskip

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

\vspace*{2\baselineskip}

{\large\scshape Boaz Tsaban 
  %
  (Bar Ilan University)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Algebra, selections, and additive Ramsey theory\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
Improving upon theorems of Hilbert, Schur, and others, and establishing a longstanding conjecture, Hindman proved that, for each finite coloring of the natural numbers, there is an infinite set such that all finite sums of elements from the set have the same color.
Galvin and Glazer used the algebraic and topological structure of the set of ultrafilters (to be defined in the lecture) to provide a very clear and elegant proof of Hindman's Theorem. This soon became the leading method for establishing coloring theorems in arithmetic and related fields.

We will survey the Galvin-Glazer method and proof, and indicate a surprising recent discovery, that Hindman's theorem is a special (in a sense, degenerate) case of a theorem about open covers of topological spaces with a property introduced by Karl Menger. The proof uses, in addition to extensions of the Galvin-Glazer theory, infinite games and selection principles.

The talk will be aimed at a general mathematical audience. In particular, we do not assume familiarity with any of the concepts mentioned above. The price is that we will not provide proof details; these are too subtle and laborious for a colloquium talk. The emphasis will be on the introduction to this beautiful connection.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
