A remark on equivalent Rosser sentences

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

BÜLOW, Christopher von, 2008. A remark on equivalent Rosser sentences. In: Annals of Pure and Applied Logic. Elsevier. 151(1), pp. 62-67. ISSN 0168-0072. eISSN 1873-2461. Available under: doi: 10.1016/j.apal.2007.10.002

@article{Bulow2008remar-58678, title={A remark on equivalent Rosser sentences}, year={2008}, doi={10.1016/j.apal.2007.10.002}, number={1}, volume={151}, issn={0168-0072}, journal={Annals of Pure and Applied Logic}, pages={62--67}, author={Bülow, Christopher von} }

<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/58678"> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-09-22T11:09:06Z</dc:date> <dc:contributor>Bülow, Christopher von</dc:contributor> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/58678"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-09-22T11:09:06Z</dcterms:available> <dcterms:issued>2008</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Bülow, Christopher von</dc:creator> <dcterms:abstract xml:lang="eng">An oversight in Guaspari and Solovay’s “Rosser sentences” [D. Guaspari, R.M. Solovay, Rosser sentences, Annals of Mathematical Logic 16 (1) (1979) 81–99] is pointed out and emended. It concerns the premisses of their proof that there are standard proof predicates all of whose Rosser sentences are provably equivalent. The result holds up, but the premisses mentioned in the paper have to be strengthened somewhat.</dcterms:abstract> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:title>A remark on equivalent Rosser sentences</dcterms:title> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account