\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 Model theory working seminar}\\[0.2\baselineskip]

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

\textbf{On} \emph{Wednesday, November 12, 2025}
\bigskip

\textbf{At} \emph{12:10 -- 14:00}
\bigskip

\textbf{In} \emph{Room 4}

\vspace*{2\baselineskip}

{\large\scshape Misha Gavrilovich}
\bigskip

will talk about
\bigskip

{\Large\bfseries Stable first-order theory as a simplicial profinite set\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
We shall rewrite in the simplicial language the standard definitions of a complete first order theory, a model of it, and various characterisations of stability                                                               of a complete first order theory. In our reformulations the simplicial language replaces the standard definitions based on  syntax, making them formally unnecessary. However, in the lectures that I shall explain these definitions both in standard language, and in the simplicial, diagram-chasing language. We shall assume only basic familiarity with category theory and model theory.

In this approach we view a complete first-order theory  as a symmetric simplicial object in the category of profinite sets and open continuous maps, defined by the functor sending a finite set of variables into the Stone space of complete types in those variables. A model of a complete first-order theory is then  a morphism from a representable simplicial set satisfying certain lifting properties reminiscent of, but weaker then, those in the definition of a fibration. The class of simplicial profinite sets corresponding to complete first order   theories is characterised by the same lifting properties required of the map from the simplicial covering space (decalage) forgetting the extra degeneracy.

In a concise manner our simplicial reformulations are presented in \href{http://mishap.sdf.org/rhsun.pdf}{the notes}








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
