Principia Mathematica - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2002-11-18 18:29:08 Functions and mappings Type theory Impredicativity Philosophy of mathematics Axiom of reducibility Logicism Function Principia Mathematica Axiom of choice Mathematics Logic Mathematical logic		Add to Reading List Source URL: math.stanford.edu Download Document from Source Website File Size: 255,24 KB Share Document on Facebook

	STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio DocID: 1unjy - View Document
	polymorphism and impredicativity logical verification week DocID: 1sOhm - View Document
	Habilitationsschrift Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel DocID: 1moyo - View Document
	Habilitationsschrift Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel DocID: 1jwFA - View Document
	A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed] DocID: 10sD1 - View Document