Magisterij/src/info.tex at main · lunar-starlight/Magisterij · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
\naslov{Topološke lastnosti so logični principi v topoloških modelih}
\title{\foreignlanguage{english}{Topological properties are logical principles
    in topological models}}

\avtor{Luna Strah}
\mentor{prof.~dr.~Andrej~Bauer}

\letnica{2025}
\klasifikacija{03C90, 18F60, 18B25, 03G30}%, 54C30, 54Dxx, 54Gxx}
\kljucnebesede{topološki modeli\sep konstruktivna logika}
\keywords{\foreignlanguage{english}{topological models\sep
    constructive logic}}

\literatura{magisterij.bib}

% \slovar{
%   \geslo{Heyting-valued sets}{Heytingovo vrednotene množice}
%   \geslo{Kripke's schema}{Kripkejeva shema}
%   %\geslo{germ}{kal}
%   \geslo{instance reducibility}{reducibilnost primerkov}
%   \geslo{instance reduction}{redukcija primerkov}
%   \geslo{law of excluded middle}{izključena tretja možnost}
%   \geslo{limited principle of omniscience}{števen princip odločitve}
%   %\geslo{sheaf}{snop}
%   \geslo{stalk}{bilka}
%   \geslo{extremally disconnected}{ekstremalno nepovezan?}
%   \geslo{basicaly disconnected}{bazično nepovezan? ubistvu nepovezan?}
%   \geslo{partition space}{particijski prostor}
%   % \geslo{}{}
%   % \geslo{}{}
%   % \geslo{}{}
% }

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: