Well-quasi-ordering - PDFSEARCH.IO - Document Search Engine

Well-quasi-ordering
Results: 5

#	Item
1	A Counterexample Regarding Labelled Well-Quasi-Ordering Robert Brignall Michael Engen and Vincent Vatter˚ Add to Reading List Source URL: users.mct.open.ac.uk Language: English - Date: 2017-09-28 12:11:34
2	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
3	REVERSE MATHEMATICS, WELL-QUASI-ORDERS, AND NOETHERIAN SPACES EMANUELE FRITTAION, MATT HENDTLASS, ALBERTO MARCONE, PAUL SHAFER, AND JEROEN VAN DER MEEREN Abstract. A quasi-order Q induces two natural quasi-orders on P(Q) Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-02-20 21:08:52 Mathematics Topology Algebra General topology Noetherian ring Countable set Separable space Well-quasi-ordering Compact space Base Algebraic number field
4	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
5	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic