scientific article; zbMATH DE number 4049637

MaRDI QIDQ3786478zbMATH OpenFDO

Authors Mitsuhiro Okada, Gaisi Takeuti

Publication date 1987

zbMATH Keywords

Kruskal's theoremordinal notationsquasi-ordinal diagramswell-quasi-ordering

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 7450013
• On ordinal diagrams
• The quasi order of graphs on an ordinal
• scientific article; zbMATH DE number 475609
• Representation of ordinal contexts by ordered \(n\)-quasigroups
• Well-Quasi Orders and Hierarchy Theory
• scientific article; zbMATH DE number 3993582
• A theory of pictures for quasi-posets
• On \(q\)-analogues of partially ordered sets
• Ordinal diagrams for recursively Mahlo universes

Cited in

(8)

• Termination of rewriting
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
• On ordinal diagrams
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• scientific article; zbMATH DE number 475609 (Why is no real title available?)
• Gap embedding for well-quasi-orderings
• scientific article; zbMATH DE number 7450013 (Why is no real title available?)
• A theory of pictures for quasi-posets

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