Home > Search Results: keywords:"ZFC"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 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
Logical background of forcing
 Glivická, Jana ; Honzík, Radek (advisor) ; Chodounský, David (referee)
This thesis examines the method of forcing in set theory and focuses on aspects that are set aside in the usual presentations or applications of forcing. It is shown that forcing can be formalized in Peano arithmetic (PA) and that consis- tency results obtained by forcing are provable in PA. Two ways are presented of overcoming the assumption of the existence of a countable transitive model. The thesis also studies forcing as a method giving rise to interpretations between theories. A notion of bi-interpretability is defined and a method of forcing over a non-standard model of ZFC is developed in order to argue that ZFC and ZF are not bi-interpretable. 1
Detailed record

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