Recently watched the Extremly large numbers [1] youtube series, which nicely complements Baez's series with examples. (Quick follow up question, as far as I un

Recently watched the Extremly large numbers [1] youtube series, which nicely complements Baez's series with examples. (Quick follow up question, as far as I understand, there should be a way to understand large cardinals as recursion, so I wonder if there is a (ultra-) finitist account of large cardinals.) [1] https://www.youtube.com/watch?v=vq2BxAJZ4Tc&list=PLUZ0A4xAf7nkaYHtnqVDbHnrXzVAOxYYC https://www.youtube.com/watch?v=vq2BxAJZ4Tc&list=PLUZ0A4xAf7...