Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State - Ohio University - Document - PDFSEARCH.IO

First Page	Meta Content
	Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio State Add to Reading List Document Date: 2012-10-11 15:21:46 Open Document File Size: 242,28 KB Share Result on Facebook

Metamathematical Properties of Intuitionistic Set Theories with Choice Principles Michael Rathjen∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Department of Mathematics, Ohio StateAdd to Reading List