Wellfoundedness

#	Item
11	Introduction Results Maximal chains in second-order arithmetic Emanuele Frittaion Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-06-10 01:31:50 Mathematics Algebra Geometry Wellfoundedness Ordinal number Constructible universe Convex cone Height Hlder condition Axiom of limitation of size
12	Research Statement Emanuele Frittaion 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-06-04 05:36:00 Mathematics Order theory Abstraction Structure Wellfoundedness Proof theory Computability theory Linear extension Reverse mathematics Well-quasi-ordering Antichain Countable set
13	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence