Repository: DepositOnce – institutional repository for research data and publications of TU Berlin https://depositonce.tu-berlin.de
@techreport { 11303_15900,
author = {Pfender, Michael AND Sablatnig, Jan},
title = {On Hilbert's tenth problem: Is classical set theory inconsistent?},
institution = {Technische Universität Berlin},
year = {2018},
doi = {10.14279/depositonce-14673},
url = {http://dx.doi.org/10.14279/depositonce-14673},
keywords = {recursive functions, recursive relations, subrecursive hierarchies, Hilbert’s tenth problem, classical set theory},
abstract = {We consider cartesian categorical (free-variables) theory PR of primitive recursion and arithmetise (gödelise) it into the natural numbers set of a classical set theory T: We evaluate the map codes of the coded theory by a general recursive T map and construct a μ-recursive decision algorithm based on evaluation of primitive recursive map codes. Within theory T strengthend by p. r. internal inconsistency axiom, the predicate decision algorithm turns out to be total, terminating. It decides in a uniform way all diophantine equations and contradicts within the strengthend theory Matiyasevich's negative solution of Hilbert's 10th problem. But by Gödel's second incompleteness theorem the strengthend theory is relative consistent to T: This is to show inconsistency of classical set theorie(s).}
}