On representations of intended structures in foundational theories

Download Edit this record How to cite View on PhilPapers
Abstract
Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power and meta-theoretic properties when comparing first-order and second-order logic.
PhilPapers/Archive ID
BARORO
Upload history
First archival date: 2020-06-10
Latest version: 3 (2021-07-22)
View other versions
Added to PP index
2020-06-10

Total views
152 ( #34,434 of 2,439,388 )

Recent downloads (6 months)
46 ( #15,152 of 2,439,388 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.