Home > Search Results: Mrva, Mikuláš
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Reflection principles and large cardinals
 Mrva, Mikuláš ; Honzík, Radek (advisor) ; Verner, Jonathan (referee)
This thesis aims to examine relations between so called "Reflection Princi- ples" 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 Cardi- nals obtained via reflection are cardinals inconsistent with L. The thesis will offer an intuitive explanation of why this is the case. 1
Detailed record
Reflection principles and large cardinals
 Mrva, Mikuláš ; Honzík, Radek (advisor) ; Verner, Jonathan (referee)
This thesis aims to examine the relation between the so called Reflection Principles and Large Cardinals. Lévy has shown that the Reflection Theorem is a sound theorem of ZFC and it is equivalent to the Replacement Schema 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 the existence of Large Cardinals. This thesis will establish the Inaccessible, Mahlo and Indescribable cardinals and show how can those be defined via reflection. A natural limit of Large Cardinals obtained via reflection are cardinals inconsistent with L. This thesis will offer an intuitive explanation of why this holds. 1
Detailed record

See also: similar author names
1 Mrva, Martin
2 Mrva, Matěj
3 Mrva, Michal
4 Mrva, Milan
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English