Talk:Arai psi function

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


 * 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)