Dispensa non altrettanto elementare sull'esistenza di un insieme diofanteo universale, grazie al quale si può costruire un insieme diofanteo il cui complemento non è diofanteo
Completion requirements
PDF
Click 4_diofanteoUniversale.pdf link to view the file.