Impredicativity

#	Item
11	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:14:48 Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic
12	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - 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
13	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:36:56 Number theorists Bertrand Russell Epistemology Impredicativity Hermann Weyl Axiom of reducibility Logicism Type theory Intuitionism Mathematics Philosophy of mathematics Mathematical logic