2004/12/01 by Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp +1 · 29 citations
Computer Science · Mathematics · #Axiom #Axiom of choice #Calculus (dental) #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Diagonal #Logic, Reasoning, and Knowledge #math.LO #msc:03D
paper · pdf · doi:10.2178/jsl/1102022212
published in Journal of Symbolic Logic 69(4), 1089-1104 (Cambridge University Press)
openalex publication_date 2004/12/01 · arxiv created 2014/08/10 · arxiv updated 2014/08/12 · openalex created_date 2016/06/24 · openalex updated_date 2026/08/05
Abstract. In Reverse Mathematics, the axiom system DNR. asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL 0 (weak weak König's Lemma).