On Representations of Intended Structures in Foundational Theories

Cite This

Files in this item

Checksum: MD5:66fe94051bc0530703de03bd3c2c6033

BARTON, Neil, Moritz MÜLLER, Mihai PRUNESCU, 2022. On Representations of Intended Structures in Foundational Theories. In: Journal of Philosophical Logic. Springer. 51(2), pp. 283-296. ISSN 0022-3611. eISSN 1573-0433. Available under: doi: 10.1007/s10992-021-09628-2

@article{Barton2022-04Repre-54556, title={On Representations of Intended Structures in Foundational Theories}, year={2022}, doi={10.1007/s10992-021-09628-2}, number={2}, volume={51}, issn={0022-3611}, journal={Journal of Philosophical Logic}, pages={283--296}, author={Barton, Neil and Müller, Moritz and Prunescu, Mihai} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/54556"> <dc:contributor>Müller, Moritz</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/54556"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-08-11T10:53:05Z</dc:date> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:rights>terms-of-use</dc:rights> <dc:creator>Müller, Moritz</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/54556/1/Barton_2-xhioppk93fb62.pdf"/> <dc:creator>Prunescu, Mihai</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/54556/1/Barton_2-xhioppk93fb62.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-08-11T10:53:05Z</dcterms:available> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <dcterms:title>On Representations of Intended Structures in Foundational Theories</dcterms:title> <dc:creator>Barton, Neil</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:issued>2022-04</dcterms:issued> <dc:contributor>Prunescu, Mihai</dc:contributor> <dc:contributor>Barton, Neil</dc:contributor> </rdf:Description> </rdf:RDF>

Downloads since Aug 11, 2021 (Information about access statistics)

Barton_2-xhioppk93fb62.pdf 21

This item appears in the following Collection(s)

Search KOPS


Browse

My Account