We revisit, deepen and make more systematic, the study undertaken ca. 1990of reductions of Hilbert’s tenth problem to fragments of set theory, whereby sublanguages of the Zermelo-Fraenkel axiomatic theory are shown to have an undecidable satisfiability problem.
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory
Eugenio Omodeo;
2020-01-01
Abstract
We revisit, deepen and make more systematic, the study undertaken ca. 1990of reductions of Hilbert’s tenth problem to fragments of set theory, whereby sublanguages of the Zermelo-Fraenkel axiomatic theory are shown to have an undecidable satisfiability problem.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
paper_5.pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Creative commons
Dimensione
693.98 kB
Formato
Adobe PDF
|
693.98 kB | Adobe PDF | Visualizza/Apri |
front matter,toc.pdf
accesso aperto
Descrizione: Front matter and toc
Tipologia:
Altro materiale allegato
Licenza:
Creative commons
Dimensione
56.95 kB
Formato
Adobe PDF
|
56.95 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.