Post #2121588

@ltchen exceptional type theory by Tabareau and Pédrot (which predates the Boulier et al paper I think) has a model refuting even LPO! (well, even MP, but that's a corrollary)