A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and - Ohio University - Document - PDFSEARCH.IO

First Page	Meta Content
	A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and Add to Reading List Document Date: 2011-07-09 07:15:02 Open Document File Size: 149,70 KB Share Result on Facebook

A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA andAdd to Reading List