\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{יום שלישי, 28 בנובמבר, 2017}
\bigskip

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

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

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries Steps towards a model theory of almost complex geometry\par}
\bigskip

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

{\large\scshape Michael Wan 
  %
  (BGU)
}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  Zilber showed that a compact complex manifold \$M\$, equipped with the structure generated by the collection of all complex analytic subsets of each \$M\^{}n\$, is well-behaved from a logical perspective, forming a \emph{Zariski geometry} in the sense of Hrushovski and Zilber. This has led to fruitful model-theoretic developments, including a classification of definable groups, the isolation of the canonical base property, and a theory of generic automorphisms.

Motivated by this example, we will examine the possibility of emulating this theory in the setting of an \emph{almost} complex manifold, a real manifold equipped with a smoothly-varying complex vector space structure on each tangent space. In particular, we will define the notion of a \emph{pseudoanalytic} subset of an almost complex manifold. We develop some rudimentary almost complex analytic geometry, including an identity principle for almost complex maps, and an analysis of the singular part of a pseudoanalytic subset under some algebraic conditions. The lack of a true algebraic theory means that geometric methods, including pseudoholomorphic curves and almost complex connections, have to pick up the slack. These results hint at routes towards an almost complex analogue of Zilber`s theorem.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
