Browsing by Author "Ketner, Michal"
Now showing items 1-2 of 2
-
Dělitelnost v okruzích
Defence status: NOT DEFENDEDKetner, Michal (Univerzita Karlova, Filozofická fakulta, 2022)Date of defense: 5. 9. 2022This thesis aims to define a theory of divisibility for general integral domains. A hiear- chy of divisibility domains with properties to those of division on the integers is outlined. Chinese residue theorem is generalized ... -
Konstruktivní univerzum L
Defence status: NOT DEFENDEDKetner, Michal (Univerzita Karlova, Filozofická fakulta, 2016)Date of defense: 14. 9. 2016The 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 ...