Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

Michael Rathjen

In recent years the question of whether adding the limited principle of omniscience, LPO, to constructive Zermelo-Fraenkel set theory, CZF, increases its strength has arisen severa…