4 citations · 6 across the 6 of their papers we have counts for
Showing 2014 · math.GMShow all
3 papers · 2 filters
math.GM2014
A positive solution to Hilbert's 10th problem
Michael Pfender
Polynome codes and code evaluation; arithmetical theory frames; -recursive race for decision; decision correctness; decision termination; correct termination in theory …
math.GM2014★ 4 cited
On Hilbert's Tenth Problem
Michael Pfender
Using an iterated Horner schema for evaluation of diophantine polynomials, we define a partial -recursive "decision" algorithm decis as a "race" for a first nullstelle versus a…
math.GM2014
Consistency Decision
Michael Pfender
The consistency formula for set theory can be stated in terms of the free-variables theory of primitive recursive maps. Free-variable p. r. predicates are decidable by set theory,…