No CrossRef data available.
Article contents
Proving a witness lemma in better-quasiordering theory: the method of ‘extensions’
Published online by Cambridge University Press: 28 June 2011
Abstract
We introduce a new method for proving ‘witness lemmas’ in BQO theory. As an application, we obtain witness-lemmas for arbitrary trees and for σ-scattered linear orderings. A positive answer to a question by Van Engelen, Miller and Steel follows.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 106 , Issue 2 , September 1989 , pp. 253 - 262
- Copyright
- Copyright © Cambridge Philosophical Society 1989