scientific article; zbMATH DE number 1910402

MaRDI QIDQ4806301zbMATH OpenFDO

Authors Osamu Takaki

Publication date 23 June 2003

zbMATH Keywords

ordinal representation systemsproof-theoretic ordinalregular cardinalscollapsing functionsSkolem hullsleast weakly inaccessible cardinalprimitive recursive ordinals

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Large cardinals (03E55) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• Publication:3035277
• On Wainer's notation for a minimal subrecursive inaccessible ordinal
• A new system of proof-theoretic ordinal functions

Cited in

(2)

• scientific article; zbMATH DE number 887775 (Why is no real title available?)
• Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4806301)