A general constructive form of Higman's lemma
From MaRDI portal
Cites work
- A constructive picture of Noetherian conditions and well quasi-orders
- A constructive proof of the topological Kruskal theorem
- A course in constructive algebra
- A Mechanized Proof of Higman’s Lemma by Open Induction
- An intuitionistic proof of Kruskal's theorem
- Higman's lemma and its computational content
- scientific article; zbMATH DE number 1795230 (Why is no real title available?)
- scientific article; zbMATH DE number 1420784 (Why is no real title available?)
- scientific article; zbMATH DE number 7340563 (Why is no real title available?)
- scientific article; zbMATH DE number 2247249 (Why is no real title available?)
- scientific article; zbMATH DE number 3198033 (Why is no real title available?)
- Inductive and coinductive components of corecursive functions in Coq
- Noetherian orders
- Ordering by Divisibility in Abstract Algebras
- Ramsey's theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic
- Strongly Noetherian rings and constructive ideal theory
- The theory of well-quasi-ordering: a frequently discovered concept
- Types for Proofs and Programs
- Well quasi-ordered sets
- Well quasi-orders and the functional interpretation
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
This page was built for publication: A general constructive form of Higman's lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856041)
