To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Konstruktiv mängdteori… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Konstruktiv mängdteori

Authors Peter Ljunglöf
Publisher University of Gothenburg
Place of publication Göteborg
Publication year 1998
Published at Department of Mathematics
Language sv
Subject categories Mathematical logic


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.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?