Re:Large Countable Ordinals, Part 1
by yk on Monday July 18, 2016 @11:16AM
(#12115545)
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.)
(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=PLUZ0A4xAf7...