bakalarka.tex

\documentclass[12pt,a4paper]{article}
% konvence:
% ``''
% (\ref)
% (i) ((ani emph ani bold)
% tuple $\langle x, y \rangle$
% Ord
% {x : \varphi(x)}
% \emph{Infinity} uppercase first!
% \emph{First-order reflection} (pozor v kap. 3)
% \Delta_0-formula !!! S POMLCKOU (def ok LEVY, CONTEMP)

% ## MAJOR TODOS:
% ma tam vubec byt ten dodatek za strukturalismem?

% MAHLO:
% viz ``Interestingly enough, Gaifman [67] showed that in a concrete sense a weakly Mahlo cardinal is the least upper bound of diagonalizing limit processes from below'' (kanamori)
% http://math.stackexchange.com/questions/1791631/reference-mahlo-cardinals-remain-mahlo-in-l

\input{00_headers.tex}
\section{Introduction}\label{sec:introduction}
\input{01a_motivation.tex}
\input{01b_definitions.tex}

\newpage

\input{02_levy.tex}
\input{03_large_cardinals.tex}

\newpage
\bibliographystyle{apalike}
\bibliography{bc_biblio}

\end{document}