anotace_cz.tex

\documentclass[12pt,a4paper]{article}

\usepackage[utf8x]{inputenc} % UTF-8 ?

\begin{document}
\noindent Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi~a dokonce, že věta o reflexi je ekvivalentní schématu nahrazení a~axiomu nekonečna nad teorií ZFC bez axiomu nekonečna a~schématu nahrazení. Tedy lze na větu o~reflexi pohlížet jako na svého druhu axiom nekonečna. Práce zkoumá do jaké míry a~jakým způsobem lze větu o reflexi zobecnit a~jaký to má vliv na existenci tzv. velkých kardinálů. Práce definuje nedosažitelné, Mahlovy a nepopsatelné kardinály a ukáže, jak je lze zavést pomocí reflexe. Přirozenou limitou kardinálů získaných reflexí jsou kardinály nekonzistentní s L. Práce nabídne intuitivní zdůvodněn, proč tomu tak je.
\end{document}