Topološke lastnosti so logični principi v topoloških modelihStrah, Luna (Avtor) Bauer, Andrej (Mentor) topološki modelikonstruktivna logikaDelo 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.20252025-09-18 08:15:05Magistrsko delo/naloga173506sl