National Repository of Grey Literature 1 records found  Search took 0.01 seconds. 
Ultrapower construction in set theory
Holík, Lukáš ; Honzík, Radek (advisor) ; Verner, Jonathan (referee)
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in model theory for proper classes. One of the parts of the presented theory is the proof of el- ementary properties needed for the application of ultrapower construction to measurable cardinals. Using all previous results we prove the Theorem of Dana Scott about the connection between existence of a measurable cardinal and the size of the universe.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.