User blog comment:Denis Maksudov/The extension of Buchholz's function/@comment-24920136-20170415043534/@comment-28606698-20170415063114

When I wrote previous post I was familiar only with psi-functions of David Madore and of Wolfram Pohlers. Both of them such that

$$\psi(0)=\varepsilon_0$$ and $$\psi(\Omega)=\zeta_0$$.

That is why I thought that if I described function such that

$$\psi(0)=1$$ and $$\psi(\Omega)=\varepsilon_0$$

then it will be something new. But yesterday I found that psi-function introduced bu Buchholz 30 years ago has same properties. Thus I decided not to invent bycicle and take as base Buchholz function to extend its definition and to assibn fundamental sequences for this function. Then I used almost same rules for FS as in previous post as well as rules in both my posts were created taking into account Deedlit's works.