Guillermo Badia, Andrew Tedder
Published 2018-09-21Version 1
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.
$ω$-consistency for Different Arrays of Quantifiers
On Quantifiers for Quantitative Reasoning
On the proof of elimination of imaginaries in algebraically closed valued fields
![QR code for arXiv:1809.08299 [math.LO]](http://oss.arxitics.com/images/favicon.svg)