abstract.tex

\povzetek{
  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.
}

\abstract{
  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 validty of various principles in the topological model over this space.
}

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