scientific article
From MaRDI portal
Publication:3890740
zbMath0446.06002MaRDI QIDQ3890740
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasi-ordered setbetter-quasi-orderingsinfinite tree theoremscattered treestransfinite sequence theorem
Related Items (15)
Termination of rewriting ⋮ A finite model theorem for the propositional \(\mu\)-calculus ⋮ A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES ⋮ Topological ubiquity of trees ⋮ Invariant subsets of scattered trees and the tree alternative property of Bonato and Tardif ⋮ On the structure of the Wadge degrees of bqo-valued Borel functions ⋮ The Reverse Mathematics of wqos and bqos ⋮ An end-faithful spanning tree counterexample ⋮ An End-Faithful Spanning Tree Counterexample ⋮ Laver and set theory ⋮ Excluding Infinite Trees ⋮ On power varieties of semigroups ⋮ On better quasi-ordering countable trees ⋮ Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor ⋮ Some quasi-ordered classes of finite commutative semigroups
This page was built for publication:
