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
Revision history
Archival date: 2020-06-10
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2020-06-10

Total views
52 ( #41,782 of 50,248 )

Recent downloads (6 months)
52 ( #11,032 of 50,248 )

How can I increase my downloads?

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