A Note on the Decidability of the Necessity of Axioms

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

CARL, Merlin, 2014. A Note on the Decidability of the Necessity of Axioms

@unpublished{Carl2014Decid-29876, title={A Note on the Decidability of the Necessity of Axioms}, year={2014}, author={Carl, Merlin} }

<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/29876"> <dcterms:issued>2014</dcterms:issued> <dcterms:title>A Note on the Decidability of the Necessity of Axioms</dcterms:title> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">A typical kind of question in mathematical logic is that for the necessity of a certain axiom: Given a proof of some statement $\phi$ in some axiomatic system $T$, one looks for minimal subsystems of $T$ that allow deriving $\phi$. In particular, one asks whether, given some system $T+\psi$, $T$ alone suffices to prove $\phi$. We show that this problem is undecidable unless $T+\neg\psi$ is decidable.</dcterms:abstract> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/29876"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-19T08:09:44Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-19T08:09:44Z</dc:date> <dc:creator>Carl, Merlin</dc:creator> <dc:contributor>Carl, Merlin</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto