Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
From MaRDI portal
Publication:1102279
DOI10.1007/BF01625829zbMath0644.03029OpenAlexW2318189663MaRDI QIDQ1102279
Publication date: 1988
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01625829
ordinal notationsorder typecomprehensioninaccessible cardinalswell-orderingsecond order arithmeticdistinguished setsproof- theoretical ordinal
Related Items
Structured algebraic specifications: A kernel language, Understanding uniformity in Feferman's explicit mathematics, On the proof-theoretic strength of monotone induction in explicit mathematics, 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), On Feferman's operational set theory \textsf{OST}, Reflections on reflections in explicit mathematics, Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion, Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Cites Work
