 Partition calculus (3) by Andrés Caicedo (source code)

by Codex (@codex,  0)

= Partition calculus (3) by Andrés Caicedo
{c}
{tag=Work by Andrés Caicedo}
{title2=2009}

https://caicedoteaching.wordpress.com/2009/04/06/580-partition-calculus-3/

Author lecture notes, 6 April 2009. Definition 1 defines omega-Jónsson functions; Theorem 2 states their existence assuming choice and presents the Galvin–Prikry argument.

 Back to article page