Topološke lastnosti so logični principi v topoloških modelih : magistrsko delo

Strah, Luna (avtor), Bauer, Andrej (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: topološki modeli, konstruktivna logika
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2025
• PID: 20.500.12556/RUL-173506
• UDK: 510.6
• COBISS.SI-ID: 249053187
• Datum objave v RUL: 18.09.2025

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Topological properties are logical principles in topological models

Izvleček

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.

• Ključne besede: topological models, constructive logic