\documentclass[11pt, a4paper, final]{amsart} 
\setlength{\emergencystretch}{2em}

\usepackage[utf8]{inputenc}
\usepackage[backend=biber]{biblatex}
\addbibresource{licmalinka.bib}

\usepackage[T1]{fontenc} 
\usepackage{mathtools}
\usepackage[activate={true,nocompatibility},final,tracking=true,kerning=true,spacing=true,stretch=10,shrink=10]{microtype}
\microtypecontext{spacing=nonfrench}
% \usepackage[utf8]{inputenc}


\usepackage{amsfonts} 
\usepackage{amsmath} 
\usepackage{amssymb}
\usepackage{amsthm} 
\usepackage{XCharter} 
\usepackage[charter, expert, greekuppercase=italicized, greekfamily=didot]{mathdesign}
\usepackage{mathtools} 
\usepackage{enumitem} 
\usepackage{tikz-cd} 
\usepackage{tikz}
\usetikzlibrary{arrows,arrows.meta}
\usetikzlibrary{shapes.geometric}
\tikzcdset{arrow style=tikz, diagrams={>=latex}}

\usepackage{etoolbox}

\usepackage{xcolor} 
\usepackage[colorlinks=true]{hyperref}
\hypersetup{
	colorlinks,
	linkcolor={red!50!black},
	citecolor={blue!50!black},
	urlcolor={blue!80!black}
}
% \definecolor{green}{RGB}{0,127,0}
% \definecolor{redd}{RGB}{191,0,0} 
%
% \definecolor{red}{RGB}{105,89,205}
%
\usepackage[notref, notcite]{showkeys} 
\usepackage[cmtip,arrow]{xy}

\usepackage{subfiles}

\DeclareMathOperator{\Aut}{Aut} 
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Stab}{Stab} 
\DeclareMathOperator{\st}{st}
\DeclareMathOperator{\Flim}{Flim} 
\DeclareMathOperator{\Int}{{Int}}
\DeclareMathOperator{\rng}{{Rng}}
\DeclareMathOperator{\dom}{{Dom}}

\newcommand{\cupdot}{\mathbin{\mathaccent\cdot\cup}} 
\newcommand{\cC}{\mathcal C} 
\newcommand{\cD}{\mathcal D} 
\newcommand{\cV}{\mathcal{V}} 
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\bN}{\mathbb N} 
\newcommand{\bR}{\mathbb R}
\newcommand{\bZ}{\mathbb Z} 
\newcommand{\bQ}{\mathbb Q}
\newcommand{\cK}{\mathcal K}
\newcommand{\cL}{\mathcal L}
\newcommand{\cT}{\mathcal T}

\newcommand{\FrAut}{\Pi}
\newcommand{\FrGr}{\Gamma}

\DeclareMathOperator{\im}{{Im}} 
\DeclareMathOperator{\id}{{id}} 
\DeclareMathOperator{\lin}{{Lin}}
\DeclareMathOperator{\Th}{{Th}}
\DeclareMathOperator{\Obj}{{Obj}}
\DeclareMathOperator{\Cospan}{{Cospan}}
\DeclareMathOperator{\Pushout}{{Pushout}}
\DeclareMathOperator{\Mor}{{Mor}}

\newtheorem{theorem}{Theorem} 
\numberwithin{theorem}{section}
\newtheorem{lemma}[theorem]{Lemma} 
\newtheorem{claim}[theorem]{Claim}
\newtheorem{fact}[theorem]{Fact} 
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture} 
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{question}[theorem]{Question}
\newtheorem{corollary}[theorem]{Corollary} 
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{theorem2}{Theorem}
\newtheorem*{claim2}{Claim} 
\newtheorem*{corollary2}{Corollary}
\newtheorem*{question2}{Question} 
\newtheorem*{conjecture2}{Conjecture}

\newtheorem{clm}{Claim} \newtheorem*{clm*}{Claim}

\theoremstyle{definition} 
\newtheorem{definition}[theorem]{Definition}
\newtheorem*{definition2}{Definition} 
\newtheorem{example}[theorem]{Example}

\theoremstyle{remark} 
\newtheorem*{remark2}{Remark}


\AtEndEnvironment{proof}{\setcounter{clm}{0}}
\newenvironment{clmproof}[1][\proofname]{\proof[#1]\renewcommand{\qedsymbol}{$\square$(claim)}}{\endproof}

\newcommand{\xqed}[1]{% \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
  \quad\hbox{\ensuremath{#1}}}

\title{Tytuł} 
\author{Franciszek Malinka}

\begin{document}
  \newpage
  \thispagestyle{empty}
  \begin{center}
	\textbf{\large Uniwersytet Wrocławski\\
	Wydział Matematyki i Informatyki\\
	Instytut Matematyczny}\\
	\textit{\large specjalność: ISIM}\\
	\vspace{4cm}
	\textbf{\textit{\large Franciszek Malinka}}\\
	\vspace{0.5cm}
	{\Large Generic automorphisms as Fraïssé limits}\\
  \end{center}
  \vspace{3cm}
  {\large \hspace*{6.5cm}Praca licencjacka\\
  \hspace*{6.5cm}napisana pod kierunkiem\\
  \hspace*{6.5cm}dra Tomasza Rzepeckiego}\\
  \vfill
  \begin{center}
	{\large Wrocław 2022}\\
  \end{center}

  \newpage
  \thispagestyle{empty}
  \begin{center}
	\textit{This page is intentionally left blank}\\
  \end{center}
  \vfill
  \newpage

  \begin{abstract} 
    Abstract 
  \end{abstract} 
  \section{Introduction}
  \subfile{sections/introduction}
  \newpage

  \section*{Wstęp}
  \subfile{sections/introduction-pl}

  \newpage
  \section{Preliminaries} 
  \subfile{sections/preliminaries}

  \section{Fraïssé classes}
  \subfile{sections/fraisse_classes}

  \section{Conjugacy classes in automorphism groups}
  \subfile{sections/conj_classes}

  \section{Examples}
  \subfile{sections/examples.tex}

  \printbibliography
\end{document}
