Large Countable Ordinals, Part 1
johncarlosbaez.wordpress.com
johncarlosbaez.wordpress.com
https://johncarlosbaez.wordpress.com/2016/07/04/large-counta...
https://johncarlosbaez.wordpress.com/2016/07/07/large-counta...
(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...