scientific article; zbMATH DE number 1910402

zbMATH Open1020.03061MaRDI QIDQ4806301FDOQ4806301

Authors: Osamu Takaki 

Publication date: 23 June 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)