Cited in
(14)- A characterization of Takeuti's ordinal diagrams of finite order
- Schnittelimination in einem Teilsystem der einfachen Typenlogik
- Ein konstruktives system von Ordinalzahlen
- On the fundamental conjecture of GLC, VI
- The machinery of consistency proofs
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
- Natural well-orderings
- Natural well-orderings
- Vergleich zweier Bezeichnungssysteme für Ordinalzahlen
- Some properties of ordinal diagrams
- Well-partial orderings and their maximal order types
- ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
- On Takeuti's early view of the concept of set
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
This page was built for publication: Ordinal diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q768810)