dc.date.accessioned | 2023-01-30T17:28:27Z | |
dc.date.available | 2023-01-30T17:28:27Z | |
dc.date.created | 2022-11-28T11:22:47Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | Barton, Neil Alexander Müller, Moritz Prunescu, Mihai . On Representations of Intended Structures in Foundational Theories. Journal of Philosophical Logic. 2022 | |
dc.identifier.uri | http://hdl.handle.net/10852/99425 | |
dc.description.abstract | 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. | |
dc.language | EN | |
dc.rights | Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/ | |
dc.title | On Representations of Intended Structures in Foundational Theories | |
dc.title.alternative | ENEngelskEnglishOn Representations of Intended Structures in Foundational Theories | |
dc.type | Journal article | |
dc.creator.author | Barton, Neil Alexander | |
dc.creator.author | Müller, Moritz | |
dc.creator.author | Prunescu, Mihai | |
cristin.unitcode | 185,14,33,0 | |
cristin.unitname | Institutt for filosofi, idé- og kunsthistorie og klassiske språk | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 2 | |
dc.identifier.cristin | 2082342 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal of Philosophical Logic&rft.volume=&rft.spage=&rft.date=2022 | |
dc.identifier.jtitle | Journal of Philosophical Logic | |
dc.identifier.volume | 51 | |
dc.identifier.issue | 2 | |
dc.identifier.startpage | 283 | |
dc.identifier.endpage | 296 | |
dc.identifier.doi | https://doi.org/10.1007/s10992-021-09628-2 | |
dc.type.document | Tidsskriftartikkel | |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0022-3611 | |
dc.type.version | PublishedVersion | |
dc.relation.project | NFR/314435 | |