A Strong Reflection Principle

Cite This

Files in this item

Checksum: MD5:82d8c5922724b3674bb04425554d48af

ROBERTS, Sam, 2017. A Strong Reflection Principle. In: The Review of Symbolic Logic. Cambridge University Press. 10(4), pp. 651-662. ISSN 1755-0203. eISSN 1755-0211. Available under: doi: 10.1017/S1755020317000223

@article{Roberts2017Stron-53567, title={A Strong Reflection Principle}, year={2017}, doi={10.1017/S1755020317000223}, number={4}, volume={10}, issn={1755-0203}, journal={The Review of Symbolic Logic}, pages={651--662}, author={Roberts, Sam} }

<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/53567"> <dc:contributor>Roberts, Sam</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53567"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract xml:lang="eng">This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9).</dcterms:abstract> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:01:29Z</dc:date> <dc:creator>Roberts, Sam</dc:creator> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53567/1/Roberts_2-1pt61odbuc20f3.pdf"/> <dcterms:title>A Strong Reflection Principle</dcterms:title> <dc:language>eng</dc:language> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:01:29Z</dcterms:available> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:rights>terms-of-use</dc:rights> <dcterms:issued>2017</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53567/1/Roberts_2-1pt61odbuc20f3.pdf"/> </rdf:Description> </rdf:RDF>

Downloads since Apr 30, 2021 (Information about access statistics)

Roberts_2-1pt61odbuc20f3.pdf 14

This item appears in the following Collection(s)

Search KOPS


Browse

My Account