This thesis aims to examine relations between so called "Reflection Principles" and Large cardinals. Lévy has shown that Reflection Theorem is a sound theorem of ZFC and it is equivalent to Replacement Scheme and the Axiom of Infinity. From this point of view, Reflection theorem can be seen a~specific version of an Axiom of Infinity. This paper aims to examine the Reflection Principle and its generalisations with respect to existence of Large Cardinals. This thesis will establish Inaccessible, Mahlo and Indescribable cardinals and their definition via reflection. A natural limit of Large Cardinals obtained via reflection are cardinals inconsistent with L. The thesis will offer an intuitive explanation of why this is the case.
-
Notifications
You must be signed in to change notification settings - Fork 0
mikulas-mrva/bc-thesis
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
My logic bachelor thesis.
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published