\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{יום שלישי,  6 בדצמבר, 2016}
\bigskip

\textbf{בשעה} \emph{12:30 -- 13:45}
\bigskip

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

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries Elementary topology via finite topological spaces\par}
\bigskip

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

{\large\scshape Misha Gavrilovich}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  We observe that several elementary definitions in point-set topology
can be reformulated in terms of finite topological spaces
and elementary category theory. This includes compactness
of Hausdorff spaces, being connected, discrete, the separation axioms.

Though elementary, these observations raise a few open questions.
For example, I was not able to prove that this reformulation of
compactness gives the correct answer for non-Hausdorff spaces,
or whether implications between various topological properties
can also be proved entirely in terms of finite topological spaces,
without any additional axioms.
  


\vfill

\bigskip
\begin{center}
{\bfseries אנא שימו לב לשינוי בשעה!}
\end{center}




% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
