Konstruktiv mängdteori
Report, 1998

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.

Author

Peter Ljunglöf

University of Gothenburg

Department of Mathematics

Subject Categories (SSIF 2011)

Algebra and Logic

More information

Created

10/6/2017