The following pages link to Ordinal diagrams. II (Q773437):
Displaying 7 items.
- The machinery of consistency proofs (Q1124588) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Some properties of ordinal diagrams (Q4120569) (← links)
- Ein konstruktives system von Ordinalzahlen (Q5588635) (← links)
- A characterization of Takeuti's ordinal diagrams of finite order (Q5655349) (← links)