An example of general recursive well-ordering which is not primitive recursive

DOI10.2748/TMJ/1178244438zbMath0095.01002OpenAlexW2119349173MaRDI QIDQ772781

Shih-Chao Liu

Publication date: 1960

Published in: Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2748/tmj/1178244438

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Konstruktion nichtrekursiver Funktionen
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

This page was built for publication: An example of general recursive well-ordering which is not primitive recursive