The following pages link to Ordinal diagrams (Q768810):
Displaying 14 items.
- The machinery of consistency proofs (Q1124588) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Natural well-orderings (Q3772212) (← links)
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ (Q4106173) (← links)
- Some properties of ordinal diagrams (Q4120569) (← links)
- Vergleich zweier Bezeichnungssysteme für Ordinalzahlen (Q4405143) (← links)
- Natural well-orderings (Q4405144) (← links)
- Ein konstruktives system von Ordinalzahlen (Q5588635) (← links)
- Schnittelimination in einem Teilsystem der einfachen Typenlogik (Q5595150) (← links)
- A characterization of Takeuti's ordinal diagrams of finite order (Q5655349) (← links)
