original • Antichain of ordinals in intuitionistic set theory

Rights note: Believed public-domain in the United States and Philippines. Report takedown concerns via the compliance support channel.