A MODEL OF SECOND-ORDER ARITHMETIC SATISFYING AC BUT NOT DC SY-DAVID FRIEDMAN AND VICTORIA GITMAN Abstract. We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent - Arithmetic - Document - PDFSEARCH.IO

First Page	Meta Content
	A MODEL OF SECOND-ORDER ARITHMETIC SATISFYING AC BUT NOT DC SY-DAVID FRIEDMAN AND VICTORIA GITMAN Abstract. We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent Add to Reading List Document Date: 2018-07-23 10:43:13 Open Document File Size: 489,53 KB Share Result on Facebook

A MODEL OF SECOND-ORDER ARITHMETIC SATISFYING AC BUT NOT DC SY-DAVID FRIEDMAN AND VICTORIA GITMAN Abstract. We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent Add to Reading List