Home > Search Results: keywords:"Konstruktivní univerzum L"
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. 
The constructive universe L
 Ketner, Michal ; Honzík, Radek (advisor) ; Přenosil, Adam (referee)
The theme explores the universe of constructive set L as it was defined by Godel. The work compares two methods of construction L set: one through the formalization of satisfaction relationand the other one with several (finitely many) called rudimentary functions that generate L. The work continues with verification of the implications Con(ZF)→Con(ZFC + CH). The goal is to give a comprehensive view of the construction L and verification of 's relative consistency CH. Powered by TCPDF (www.tcpdf.org)
Detailed record
The constructive universe L
 Ketner, Michal ; Honzík, Radek (advisor) ; Přenosil, Adam (referee)
The theme explores the universe of constructive set L as it was defined by Godel. The work compares two methods of construction L set: one through the formalization of satisfaction relationand the other one with several (finitely many) called rudimentary functions that generate L. The work continues with verification of the implications Con(ZF)→Con(ZFC + CH). The goal is to give a comprehensive view of the construction L and verification of 's relative consistency CH. Powered by TCPDF (www.tcpdf.org)
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