20.500.12556/RUL-173506 Topološke lastnosti so logični principi v topoloških modelih magistrsko delo Topological properties are logical principles in topological models Delo obravnava odvisnost med topološkimi lastnostmi danega prostora in logičnimi principi, ki veljajo v topološkem modelu nad prostorom. Najprej definiramo topološke modele in interpretacijo intuicionistične logike delnih elementov v takih modelih. Nato obravnavamo znane principe izbire in odločjivosti, ki v intuicionistični logiki niso dokazljivi. V osrednjem delu analiziramo, kakšen je odnos med topološkimi lastnostmi prostora in veljavnostjo principov v topološkem modelu nad prostorom. In this thesis we study the relationship between the topological properties of a given space and logical principles that hold in the topological model over this space. First we define topological models and the interpretation of intuitionistic logic of partial elements in such models. Next we study known principles of choice and decision that are not provable in intuitionistic logic. In the central part we analyse how topological properties of a space are related to the validity of various principles in the topological model over this space. topološki modeli konstruktivna logika topological models constructive logic true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2025-09-18 08:15:05 2025-09-18 08:15:06 2025-11-10 03:34:09 0000-00-00 00:00:00 2025 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 510.6 153901 249053187 19124.pdf 19124.pdf 1 48338E6D528C376AB3A2B99E6D86E5E3 821868e3bbdc45c15439c5003fac9f8f497be6a824ba8e8d45be803881810d88 a5a98c5b-9456-11f0-9328-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=218021 Fakulteta za matematiko in fiziko 0 0 0