User blog:P進大好きbot/Full References of Arguments on Ordinal Notations with Lage Cardinals