| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662261 | Annals of Pure and Applied Logic | 2009 | 8 Pages |
Abstract
In this paper we prove general exact unprovability results that show how a threshold between provability and unprovability of a finite well-quasi-orderedness assertion of a combinatorial class is transformed by the sequence-construction, multiset-construction, cycle-construction and labeled-tree-construction. Provability proofs use the asymptotic pigeonhole principle, unprovability proofs use Weiermann-style compression techniques and results from analytic combinatorics.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
