scientific article; zbMATH DE number 3697170

MaRDI QIDQ3890740zbMATH OpenFDO

Authors Richard Laver

Publication date 1978

zbMATH Keywords

better-quasi-orderingsinfinite tree theoremquasi-ordered setscattered treestransfinite sequence theorem

Mathematics Subject Classification ID

Trees (05C05) Partial orders, general (06A06)

Cited in

(17)

• On better quasi-ordering countable trees
• Some quasi-ordered classes of finite commutative semigroups
• Termination of rewriting
• A finite model theorem for the propositional \(\mu\)-calculus
• An end-faithful spanning tree counterexample
• Invariant subsets of scattered trees and the tree alternative property of Bonato and Tardif
• On power varieties of semigroups
• Topological ubiquity of trees
• The reverse mathematics of wqos and bqos
• Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor
• An End-Faithful Spanning Tree Counterexample
• Excluding Infinite Trees
• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Laver and set theory
• The logical strength of minimal bad arrays
• Provable better-quasi-orders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3890740)