nLab2d agoJonathan Prieto-CubidesIan WatsonOn the limited principle of omniscience: On the weak limited principle of omniscience:Read at nLab