The following pages link to Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437):
Displaying 1 item.