2014/06/02 by Michael Pfender, Pfender, Michael
Mathematics · #03F03 #Advanced Differential Equations and Dynamical Systems #FOS: Mathematics #General Mathematics (math.GM) #Mathematics and Applications
paper · pdf · doi:10.48550/arxiv.1406.0360
openalex publication_date 2014/06/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Polynome codes and code evaluation; arithmetical theory frames; μ-recursive race for decision; decision correctness; decision termination; correct termination in theory T = PR of Primitive Recursion; comparison with the negative result of Matiyasevich; positive solution in p.r. non-infinite-descent theory πR=PR+(π).