THE ITERATIVE CONCEPTION OF SET

First Page		Document Content
Date: 2009-09-06 21:19:38 Computability theory Complexity classes Urelements Z notation S Naive set theory Constructible universe Arithmetical hierarchy Axiom of extensionality Mathematical logic Mathematics Set theory		THE ITERATIVE CONCEPTION OF SET Add to Reading List Source URL: www.pgrim.org Download Document from Source Website File Size: 100,43 KB Share Document on Facebook

	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 DocID: 1q31X - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1p7Wu - View Document
	Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2 DocID: 1nMxJ - View Document
	THE ITERATIVE CONCEPTION OF SET DocID: OCnw - View Document
	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. DocID: 2N2M - View Document