scientific article; zbMATH DE number 4049637

zbMATH Open0644.03030MaRDI QIDQ3786478FDOQ3786478

Authors: Mitsuhiro Okada, Gaisi Takeuti 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Kruskal's theoremwell-quasi-orderingordinal notationsquasi-ordinal diagrams

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cited In (8)

• Title not available (Why is that?)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• Termination of rewriting
• Title not available (Why is that?)
• Gap embedding for well-quasi-orderings
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
• On ordinal diagrams
• 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)