Ordinal number and typed lamba-calculus: A "simple" open problem

[Andrés Sicard-Ramírez]

Dear all,

I have been reading about ordinal numbers and type theory.

In relation to large ordinal numbers, John Baez wrote three very nice
blogs. The first one is available at

https://johncarlosbaez.wordpress.com/2016/06/29/large-countable-ordinals-part-1/


In the discussion section on the third blog, John Baez pointed out an
open problem on ordinal number and typed lamba-calculus pointed put by
Cody Roux at

https://plus.google.com/+CodyRoux/posts/Wsy349RMmnm

Best,


--
Andrés