User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-25601061-20180729214112/@comment-35470197-20180729222239

1. I heard that someone use a huge cardinal on discord.

2. Could you tell me under what axioms you extend the OCF with a weakly compact cardinal? I am listing up the references and the necessary axioms for OCFs with laerge cardinals.