4 citations · 6 across the 6 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2013
Arithmetical Foundations - Recursion. Evaluation. Consistency
Michael Pfender
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, Gödel incompleteness theorems,…
math.LO2009
RCF4: Inconsistent Quantification
Michael Pfender
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitiv…