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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" 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"/> <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> <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> <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> <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