Classical determinate truth without induction. arXiv:2408.01198
Preprint, arXiv:2408.01198 [math.LO] (2024).
Summary: Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their question, we show that the induction-free variant of that theory is conservative over Peano Arithmetic.
MSC:
03H15 | Nonstandard models of arithmetic |
03F30 | First-order arithmetic and fragments |
03C62 | Models of arithmetic and set theory |
03A05 | Philosophical and critical aspects of logic and foundations |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.