User blog:P進大好きbot/List of My Googological Works

I list my googological works.

= Inline Functions =

Here is a list of my computable functions defined by a single formula containing no function other than the arithmetic operations \({+},{-},{\times},{/},\textrm{^}\).

= Elementary Functions =

Here is a list of my computable functions defined by the arithmetic operations \({+},{-},{\times},{/},\textrm{^}\) and other functions whose definitions are explicitly written by me only using those accepted functions.

= Notations Related to OCFs =

Here is a list of my notations related to OCFs. If you do not know the relation between OCFs and ordinal notations, see this article.

= Notations Related to BMS =

Here is a list of my computable notations related to variants of BMS.

= Notations Based on Proof Theory =

Here is a list of my computable notations based on proof theory.

= Joke Notations =

Here is a list of my joke notations.

= Non-recursive Notations =

Here is a list of my notations defined in set theory whose structures are not recursive.

= Uncomputable Functions in ZFC set theory =

Here is a list of my uncomputable functions defined in \(\textrm{ZFC}\) set theory.

= Uncomputable Numbers beyond ZFC set theory =

Here is a list of my uncomputable numbers defined in an extension of \(\textrm{ZFC}\) set theory which is expected to be consistent.