Talk:Arai psi function

Latest comment: 3 years ago by C7XWiki in topic Title

Title

edit

Is it "Arai" or "Arai's" function? Title and text differ, and the ref, while a paper by Arai, doesn't help. PamD 13:23, 1 September 2021 (UTC)Reply

I guess that this name is eponymous despite not originally being named that way, the same way Buchholz's ψ-functions were never named "my ψ-functions" by Buchholz, but just introduced as a simplification of Feferman's θ-functions C7XWiki (talk) 02:32, 4 September 2021 (UTC)Reply