Cited in
(7)- A characterization of Takeuti's ordinal diagrams of finite order
- Ein konstruktives system von Ordinalzahlen
- On the fundamental conjecture of GLC, VI
- The machinery of consistency proofs
- Some properties of ordinal diagrams
- Well-partial orderings and their maximal order types
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
This page was built for publication: Ordinal diagrams. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q773437)