%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% kaobook
% LaTeX Template
% Version 1.3 (December 9, 2021)
%
% This template originates from:
% https://www.LaTeXTemplates.com
%
% For the latest template development version and to make contributions:
% https://github.com/fmarotta/kaobook
%
% Authors:
% Federico Marotta (federicomarotta@mail.com)
% Based on the doctoral thesis of Ken Arroyo Ohori (https://3d.bk.tudelft.nl/ken/en)
% and on the Tufte-LaTeX class.
% Modified for LaTeX Templates by Vel (vel@latextemplates.com)
%
% License:
% CC0 1.0 Universal (see included MANIFEST.md file)
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%----------------------------------------------------------------------------------------
%   PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
%----------------------------------------------------------------------------------------

\documentclass[
    a4paper, % Page size
    fontsize=10pt, % Base font size
    twoside=true,
verbose,hypertexnames=false, parskip=off, % Use different layouts for even and odd pages (in particular, if twoside=true, the margin column will be always on the outside)
    %open=any, % If twoside=true, uncomment this to force new chapters to start on any page, not only on right (odd) pages
    %chapterentrydots=true, % Uncomment to output dots from the chapter name to the page number in the table of contents
    numbers=noenddot, % Comment to output dots after chapter numbers; the most common values for this option are: enddot, noenddot and auto (see the KOMAScript documentation for an in-depth explanation)
]{kaobook}




\let\providelength\relax
\usepackage{dialogue}

\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}

%\usepackage{amsrefs}



%\usepackage{biblatex}


% Choose the language
\ifxetexorluatex
    \let\providelength\relax
    \usepackage{polyglossia}
    \setmainlanguage{english}
\else
    \let\providelength\relax
    \usepackage[english]{babel} % Load characters and hyphenation
\fi
\usepackage[english=british]{csquotes}  % English quotes



%\documentclass{book}



\usepackage{amsmath,amssymb}
\usepackage{mathrsfs}

\usepackage{imakeidx}
\usepackage{hyperref,lipsum}

\makeindex


%%\theoremstyle{plain}
\newtheorem{thm}{Theorem}
\newtheorem{coro}[thm]{Corollary}  %Corollaries are numbered with theorems
\newtheorem{lemmaJ}[thm]{Lemma}
\newtheorem{question}[thm]{Question}
\newtheorem{conjecture}[thm]{Conjecture}

%%\theoremstyle{definition}
\newtheorem*{defn}{Definition}      %Definitions are not numbered.

\newcommand{\nat}{\mathbb N}  %this defines \nat as an abbreviation for \mathbb N
\newcommand{\rca}{{\mathsf {RCA}}_0}
\newcommand{\aca}{{\mathsf {ACA}}_0}
\newcommand{\wkl}{{\mathsf {WKL}}_0}




\usepackage{enumitem}
\usepackage{etoolbox}
\usepackage{indentfirst}

 % include the chapter number
 \setlist[enumerate]{label=\thechapter.\arabic{*},resume}

 % restart the enumerate list every chapter
 \preto\chapter{%
   \restartlist{enumerate}%
}














% Load packages for testing
\usepackage{blindtext}
%\usepackage{showframe} % Uncomment to show boxes around the text area, margin, header and footer
%\usepackage{showlabels} % Uncomment to output the content of \label commands to the document where they are used

% Load the bibliography package

\usepackage{kaobiblio}
%%%\addbibresource{main.bib} % Bibliography file

\addbibresource{References.bib}

% Load mathematical packages for theorems and related environments
\usepackage[framed=true]{kaotheorems}

% Load the package for hyperreferences

\usepackage{kaorefs}

\graphicspath{{examples/documentation/images/}{images/}} % Paths in which to look for images

\makeindex[columns=3, title=Alphabetical Index, intoc] % Make LaTeX produce the files required to compile the index

\makeglossaries % Make LaTeX produce the files required to compile the glossary
\input{glossary.tex} % Include the glossary definitions

\makenomenclature % Make LaTeX produce the files required to compile the nomenclature

% Reset sidenote counter at chapters
%\counterwithin*{sidenote}{chapter}

%----------------------------------------------------------------------------------------

%%\usepackage{amsmath,amsfonts,amssymb,amsthm,amsrefs}



\usepackage{indentfirst}

\addtokomafont{date}{\includegraphics[width=6cm]{gfx/TFZsuperellipse_bw}\endgraf}


\usepackage[Lenny]{fncychap}


\begin{document}

%----------------------------------------------------------------------------------------
%   BOOK INFORMATION
%----------------------------------------------------------------------------------------
 \setlist[enumerate]{label=\thechapter.\arabic{*},resume}

%\titlehead{The \texttt{proper} class}
\subject{}

%\hyperref[here]{CLICK HERE} (go to anchor x)

\newcommand{\N}{$\mathbb{N}$}

\title[Example and documentation of the {\normalfont\texttt{kaobook}} class]{On subsystems of {\normalfont\texttt{Second Order Arithemtic}} }
\subtitle{Reverse Mathematics of Irrational Numbers}

\author[Y]{Hynek Mlčoušek\thanks{A \LaTeX\ lover}}




\date{\today}

\publishers{A thesis submitted in partial fulfillment for the
degree of Doctor of Philosophy}

%----------------------------------------------------------------------------------------

\frontmatter % Denotes the start of the pre-document content, uses roman numerals

%----------------------------------------------------------------------------------------
%   OPENING PAGE
%----------------------------------------------------------------------------------------

%\makeatletter
%\extratitle{
%   % In the title page, the title is vspaced by 9.5\baselineskip
%   \vspace*{9\baselineskip}
%   \vspace*{\parskip}
%   \begin{center}
%       % In the title page, \huge is set after the komafont for title
%       \usekomafont{title}\huge\@title
%   \end{center}
%}
%\makeatother

%----------------------------------------------------------------------------------------
%   COPYRIGHT PAGE
%----------------------------------------------------------------------------------------

\makeatletter
\uppertitleback{\@titlehead} % Header

\lowertitleback{
    \textbf{Disclaimer}\\
%   You can edit this page to suit your needs. For instance, here we have a no copyright statement, a colophon and some other information.

This page is based on the corresponding page of Ken Arroyo Ohori's thesis, with minimal changes.

    \medskip

    \textbf{No copyright}\\
    \cczero\ This book is released into the public without any Copyright. To the extent possible under law, I waive all copyright and related or neighbouring rights to this work.

%   To view a copy of the CC0 code, visit: \\\url{http://creativecommons.org/publicdomain/zero/1.0/}

%   \medskip

    \textbf{Colophon} \\
    This document was typeset with the help of \href{https://sourceforge.net/projects/koma-script/}{\KOMAScript} and \href{https://www.latex-project.org/}{\LaTeX} using the \href{https://github.com/fmarotta/kaobook/}{kaobook} class.

    The source code of this book is available at:\\\url{https://github.com/fmarotta/kaobook}

1   \textbf{Publisher} \\
    First printed in May 2023 by \@publishers
}
\makeatother

%----------------------------------------------------------------------------------------
%   DEDICATION
%----------------------------------------------------------------------------------------

\dedication{
%   The harmony of the world is made manifest in Form and Number, and the heart and soul and all the poetry of Natural Philosophy are embodied in the concept of mathematical beauty.\\
%   \flushright -- D'Arcy Wentworth Thompson\\
%\medskip
%\medskip
A mathematician is a blind man in a dark room looking for a black cat which isn't there.\\
    \flushright -- Charles Robert Darwin\\
\medskip
%\medskip
%Biologists think they are biochemists,\\
%Biochemists think they are Physical Chemists,\\
%Physical Chemists think they are Physicists,\\
%Physicists think they are Gods,\\
%And God thinks he is a Mathematician. \\
%\flushright --




}

%----------------------------------------------------------------------------------------
%   OUTPUT TITLE PAGE AND PREVIOUS
%----------------------------------------------------------------------------------------

% Note that \maketitle outputs the pages before here

\maketitle

%----------------------------------------------------------------------------------------
%   PREFACE
%----------------------------------------------------------------------------------------

%%Someone have found a simple solution  \cite{Gill}.
%%\printbibliography

%%\input{chapters/preface.tex}
\index{preface}




%----------------------------------------------------------------------------------------
%   TABLE OF CONTENTS & LIST OF FIGURES/TABLES
%----------------------------------------------------------------------------------------

\begingroup % Local scope for the following commands

% Define the style for the TOC, LOF, and LOT
%\setstretch{1} % Uncomment to modify line spacing in the ToC
%\hypersetup{linkcolor=blue} % Uncomment to set the colour of links in the ToC
\setlength{\textheight}{230\hscale} % Manually adjust the height of the ToC pages

% Turn on compatibility mode for the etoc package
\etocstandarddisplaystyle % "toc display" as if etoc was not loaded
\etocstandardlines % "toc lines" as if etoc was not loaded

\tableofcontents % Output the table of contents

%%%\listoffigures % Output the list of figures

% Comment both of the following lines to have the LOF and the LOT on different pages
\let\cleardoublepage\bigskip
\let\clearpage\bigskip

%%%\listoftables % Output the list of tables

\endgroup

%----------------------------------------------------------------------------------------
%   MAIN BODY
%----------------------------------------------------------------------------------------

\mainmatter % Denotes the start of the main document content, resets page numbering and uses arabic numbers

%%\setchapterstyle{kao} % Choose the default chapter heading style

%\include{hirstA.tex}
\include{selectors.tex}


\iffalse
\pagelayout{wide} % No margins
\addpart{Design and Additional Features}
\pagelayout{margin} % Restore margins

\fi

\appendix % From here onwards, chapters are numbered with letters, as is the appendix convention

\pagelayout{narrow} % No margins
\addpart{Appendix}
\pagelayout{margin} % Restore margins

 \include{appendix.tex}

% \include{lane.tex}

\cite{simpson2}

%----------------------------------------------------------------------------------------

\backmatter % Denotes the end of the main document content
\setchapterstyle{plain} % Output plain chapters from this point onwards

%----------------------------------------------------------------------------------------
%   BIBLIOGRAPHY
%----------------------------------------------------------------------------------------

% The bibliography needs to be compiled with biber using your LaTeX editor, or on the command line with 'biber main' from the template directory

\defbibnote{bibnote}{Here are the references in citation order.\par\bigskip} % Prepend this text to the bibliography
\printbibliography[heading=bibintoc, title=Bibliography, prenote=bibnote] % Add the bibliography heading to the ToC, set the title of the bibliography and output the bibliography note

%----------------------------------------------------------------------------------------
%   NOMENCLATURE
%----------------------------------------------------------------------------------------

% The nomenclature needs to be compiled on the command line with 'makeindex main.nlo -s nomencl.ist -o main.nls' from the template directory

\nomenclature{$c$}{Speed of light in a vacuum inertial frame}
\nomenclature{$h$}{Planck constant}

\renewcommand{\nomname}{Notation} % Rename the default 'Nomenclature'
\renewcommand{\nompreamble}{The next list describes several symbols that will be later used within the body of the document.} % Prepend this text to the nomenclature

\printnomenclature % Output the nomenclature

%----------------------------------------------------------------------------------------
%   GREEK ALPHABET
%   Originally from https://gitlab.com/jim.hefferon/linear-algebra
%----------------------------------------------------------------------------------------

\vspace{1cm}


%----------------------------------------------------------------------------------------
%   GLOSSARY
%----------------------------------------------------------------------------------------

% The glossary needs to be compiled on the command line with 'makeglossaries main' from the template directory

\setglossarystyle{listgroup} % Set the style of the glossary (see https://en.wikibooks.org/wiki/LaTeX/Glossary for a reference)
\printglossary[title=Special Terms, toctitle=List of Terms] % Output the glossary, 'title' is the chapter heading for the glossary, toctitle is the table of contents heading

%----------------------------------------------------------------------------------------
%   INDEX
%----------------------------------------------------------------------------------------

% The index needs to be compiled on the command line with 'makeindex main' from the template directory





\printindex % Output the index

%----------------------------------------------------------------------------------------
%   BACK COVER
%----------------------------------------------------------------------------------------

% If you have a PDF/image file that you want to use as a back cover, uncomment the following lines

%\clearpage
%\thispagestyle{empty}
%\null%
%\clearpage
%\includepdf{cover-back.pdf}

%----------------------------------------------------------------------------------------

%%%%%%%%%%% Example 1%%%%%%%%%%%%%%%%%%%%%%%%%%
%\begin{thebibliography}{100} % 100 is a random guess of the total number of
%references

%%\bibliographystyle{plain}
%\bibliography{mybib}


%%\begin{thebibliography}{999}


%\end{thebibliography}
%%%%%%%%%%%%% end %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%Someone have found a simple solution  \parencite{Gill}.


%\begin{bibsection}[Bibliography]

%%\begin{biblist}



%%\end{biblist}
%\end{bibsection}



%%Use the styles exemplified by \cite{HB98}, \cite{CA}, \cite{MSW00} and
%%\cite{Rei91} below.  Order bibliography items alphabetically as shown.  The
%%two-page limit includes the bibliography.

%%%\footnotesize


%Someone have found a simple solution  \citep[see page 47]{Gill}.


\end{document}