On a diophantine representation of the predicate of provability

Lade...
Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2012
Autor:innen
Carl, Merlin
Moroz, Boris Zelikovich
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
EU-Projektnummer
DFG-Projektnummer
Forschungsförderung
Projekt
Open Access-Veröffentlichung
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Zeitschriftenartikel
Publikationsstatus
unikn.publication.listelement.citation.prefix.version.undefined
Zapiski Nauchnykh Seminarov POMI. 2012, 407, pp. 77-104
Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
510 Mathematik
Schlagwörter
Diophantine coding, Matiyasevich's theorem, Pell's equation, Gödel–Bernays set theory
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
BibTex
RDF
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet

Versionsgeschichte

Gerade angezeigt 1 - 2 von 2
VersionDatumZusammenfassung
2018-02-05 09:25:51
1*
2013-02-19 10:27:46
* Ausgewählte Version