Talk:Compact cardinal