Pages that link to "Item:Q1102955"
From MaRDI portal
The following pages link to Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger) (Q1102955):
Displaying 5 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J)) (Q1102279) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- (Q3690813) (← links)