Ordinal diagrams
From MaRDI portal
Publication:768810
DOI10.2969/jmsj/00940386zbMath0079.24410OpenAlexW4238411937MaRDI QIDQ768810
Publication date: 1957
Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2969/jmsj/00940386
Related Items (14)
Ein konstruktives system von Ordinalzahlen ⋮ Schnittelimination in einem Teilsystem der einfachen Typenlogik ⋮ Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ The machinery of consistency proofs ⋮ Natural well-orderings ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ On the fundamental conjecture of GLC, VI ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ ⋮ Natural well-orderings ⋮ Some properties of ordinal diagrams ⋮ Vergleich zweier Bezeichnungssysteme für Ordinalzahlen ⋮ On Takeuti's early view of the concept of set ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
This page was built for publication: Ordinal diagrams
