Ordinal analysis

#	Item
321	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2012-09-21 04:30:26 Knowledge Proof theory Inductive reasoning Mathematical proofs Theoretical computer science Mathematical induction Recursive definition Ordinal analysis Mathematical logic Mathematics Logic
322	PDF Document Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-09-12 19:58:36 Distribution Symbol Mathematics Lie algebras Proof theory Mathematical analysis Constructible universe Ordinal number
323	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-08-27 17:25:52 General topology Continuous function Ordinal number Weak topology Arzelà–Ascoli theorem Function Open set Locally convex topological vector space Fast-growing hierarchy Topology Mathematics Mathematical analysis
324	Untitled Add to Reading List Source URL: alachapelle.weebly.com Language: English - Date: 2011-01-11 10:08:26 Mathematical optimization Forcing Lambda calculus Discretization Partial differential equation Optimal control Ordinal number Mathematics Mathematical analysis Mathematical logic