Switch to: References

Citations of:

Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality

Zlatan Damnjanovic

Bulletin of Symbolic Logic 23 (4):381-404 (2017)

Add citations

You must login to add citations.

Internal Categoricity, Truth and Determinacy.Martin Fischer & Matteo Zicchetti - 2023 - Journal of Philosophical Logic 52 (5):1295-1325.details This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several ‘internal’ categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth-theoretic version of internal categoricity and internal determinacy with some positive (...) properties. (shrink) Download Export citation Bookmark
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.Stewart Shapiro, Charles McCarty & Michael Rathjen - forthcoming - Archive for Mathematical Logic.details It has long been known that (classical) Peano arithmetic is, in some strong sense, “equivalent” to the variant of (classical) Zermelo–Fraenkel set theory (including choice) in which the axiom of infinity is replaced by its negation. The intended model of the latter is the set of hereditarily finite sets. The connection between the theories is so tight that they may be taken as notational variants of each other. Our purpose here is to develop and establish a constructive version of this. (...) Download Export citation Bookmark
The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy.Jan Heylen & Lars Arthur Tump - 2019 - Synthese 198 (4):3033-3045.details Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) Download Export citation Bookmark 2 citations

1