On elimination of quantifiers in some non‐classical mathematical theories
Guillermo Badía, Andrew Tedder · Mathematical logic quarterly · 2018
Abstract Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.