On a diophantine representation of the predicate of provability

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

CARL, Merlin, Boris Zelikovich MOROZ, 2012. On a diophantine representation of the predicate of provability. In: Zapiski Nauchnykh Seminarov POMI. 407, pp. 77-104

@article{Carl2012dioph-21343, title={On a diophantine representation of the predicate of provability}, year={2012}, volume={407}, journal={Zapiski Nauchnykh Seminarov POMI}, pages={77--104}, author={Carl, Merlin and Moroz, Boris Zelikovich} }

<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/21343"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21343"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:abstract xml:lang="eng">We construct a diophantine equation which is solvable if and only if ZFC is inconsistent. Accordingly, under the assumption of Con(ZFC), this equation is unsolvable, but not provably so, unless one assumes axioms going beyond ZFC.</dcterms:abstract> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Moroz, Boris Zelikovich</dc:creator> <dcterms:title>On a diophantine representation of the predicate of provability</dcterms:title> <dc:rights>deposit-license</dc:rights> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-02-19T10:27:46Z</dc:date> <dc:contributor>Moroz, Boris Zelikovich</dc:contributor> <dc:creator>Carl, Merlin</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:issued>2012</dcterms:issued> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-02-19T10:27:46Z</dcterms:available> <dc:language>eng</dc:language> <dcterms:bibliographicCitation>Zapiski Nauchnykh Seminarov POMI ; 407 (2012). - S. 77-104</dcterms:bibliographicCitation> <dc:contributor>Carl, Merlin</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto