580 - Cardinal arithmetic (10) by Andrés E. Caicedo (source code)

= 580 - Cardinal arithmetic (10) by Andrés E. Caicedo
{c}
{tag=Work by Andrés E. Caicedo}
{title2=9 March 2009}

https://caicedoteaching.wordpress.com/2009/03/09/580-cardinal-arithmetic-10/

Authored lecture exposition. Theorem14 states that the image of the first fixed point above the critical point does not belong to the transitive target; Theorem12 recalls omega-Jónsson functions.