Pages that link to "Item:Q1102279"
From MaRDI portal
The following pages link to Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J)) (Q1102279):
Displayed 7 items.
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- 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) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)