Premium
On elimination of quantifiers in some non‐classical mathematical theories
Author(s) -
Badia Guillermo,
Tedder Andrew
Publication year - 2018
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201600078
Subject(s) - property (philosophy) , extensional definition , mathematics , range (aeronautics) , calculus (dental) , algebra over a field , pure mathematics , mathematical economics , epistemology , philosophy , medicine , paleontology , tectonics , materials science , dentistry , composite material , biology
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.