Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"intuitionistinen logiikka"”.
-
Kontinuumihypoteesin negaatio lokaalissa joukko-opissa
… topos, jos ja vain jos sen sisäisen kielen logiikka on klassinen. Sisäisen kielen avulla konstruoimme vielä menetelmiä, joiden avulla voimme siirtyä topoksen morfismista sisäisen kielen funktioon ja toisin päin. Osoitamme, että monomorfismista tulee sisäiseen kieleen injektio ja että …