scientific article; zbMATH DE number 3232673

Cited in

(71)

Über eine Eigenschaft lokalfiniter, unendlicher Bäume. (On a property of locally finite infinite trees)
Provable better-quasi-orders
The theory of well-quasi-ordering: a frequently discovered concept
Well-quasi-ordering digraphs with no long alternating paths by the strong immersion relation
A canonical partition theorem for uniform families of finite strong subtrees
The micro-world of cographs
On the logical strength of the better quasi order with three elements
On the immersion relation and an embedding problem for infinite graphs
Hereditary classes of ordered sets of width at most two
On immersions of uncountable graphs
Ordered sets with no chains of ideals of a given type
Topological ubiquity of trees
On well-quasi-ordering-finite graphs by immersion
Better quasi-orders for uncountable cardinals
On a problem of R. Halin concerning infinite graphs
Foundations of BQO Theory
On power varieties of semigroups
There are exactly _1 topological types of locally finite trees with countably many rays
The tree alternative conjecture under the topological minor relation
Algorithmic applications of tree-cut width
Embeddability on functions: Order and chaos
Better-quasi-orderings and coinduction
The uniform Martin's conjecture for many-one degrees
Well-quasi-ordering and the Hausdorff quasi-uniformity
A finite model theorem for the propositional \(\mu\)-calculus
Splitter theorems for 4-regular graphs
There are uncountably many topological types of locally finite trees
Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor
Minimal prime ages, words and permutation graphs
On Halin-lattices in graphs
Decomposing Aronszajn lines
Fraïssé's conjecture, partial impredicativity and well-ordering principles. I
On self‐immersions of infinite graphs
Labelled well-quasi-order for permutation classes
Well-quasi-order of relabel functions
Termination of rewriting
Sur les premeilleurs ordres. (On prémeilleurs orderings)
Recent progress on well-quasi-ordering graphs
Epimorphisms between linear orders.
Ubiquity of locally finite graphs with extensive tree-decompositions
Critical properties and complexity measures of read-once Boolean functions
Continuous Fraïssé conjecture
On isometry and isometric embeddability between ultrametric Polish spaces
The Wadge hierarchy on Zariski topologies
Constructing graphs with no immersion of large complete graphs
Graph minors XXIII. Nash-Williams' immersion conjecture
Clique immersion in graphs without a fixed bipartite graph
Absolutely indecomposable modules
On the ABK conjecture, alpha-well quasi orders and Dress-Schiffels product
Scattered subsets of \(\mathbb{Q}\)
An estimate on the norm of the product of infinite block operator matrices
On the structure of the Wadge degrees of bqo-valued Borel functions
Conditional geometric scales of discriminator varieties
The logical strength of minimal bad arrays
The FEP for some varieties of fully distributive knotted residuated lattices
Siblings of countable cographs
Well-Quasi Orders and Hierarchy Theory
On better quasi-ordering countable trees
Obituary: Ernest Corominas
A family of \(\omega_1\) topological types of locally finite trees
Laver and set theory
Countable skeletons of finitely generated discriminator varieties
Some quasi-ordered classes of finite commutative semigroups
Complete analytic equivalence relations
The structure and definability in the lattice of equational theories of strongly permutative semigroups
Well-partial orderings and their maximal order types
From wqo to bqo, via Ellentuck's theorem
The reverse mathematics of wqos and bqos
Jónsson posets
Some theorems for scattered ordered sets
A proof of the tree alternative conjecture under the topological minor relation

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 Q5520569)