id:"swepub:oai:gup.ub.gu.se/10763"
Sökning: id:"swepub:oai:gup.ub.gu.se/10763" > Konstruktiv mängdte...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Konstruktiv mängdteori : Constructive Set Theory
-
- Ljunglöf, Peter, 1971 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för matematik,Department of Mathematics
- (creator_code:org_t)
- Göteborg : University of Gothenburg, 1998
- Svenska.
- Rapport (övrigt vetenskapligt/konstnärligt)
Abstract
Ämnesord
Stäng
- Denna uppsats är ett försök att beskriva hur man kan formulera den traditionella mängdteorin konstruktivt. En del ickekonstruktiva axiom måste bytas ut mot alternativa varianter. Den teori som uppkommer är Peter Aczels konstruktiva Zermelo-Fraenkel. Det konstruktiva i teorin rättfärdigas genom tolkning i Martin-Löfs typteori.
Ämnesord
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Ljunglöf, Peter, ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Matematik
- och Algebra och logi ...
- Av lärosätet
- Göteborgs universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
