On elimination of quantifiers in some non-classical mathematical theories
classification
🧮 math.LO
keywords
eliminationmathematicalpropertyquantifierstheoriesbackbackgroundsclassically
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.