most citedRCF3: Map-Code Interpretation via Closure

2 citations · 2 across the 3 of their papers we have counts for

collaborators

3 papers

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…

math.CT2008★ 2 cited

RCF3: Map-Code Interpretation via Closure

Michael Pfender

For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- w…

math.CT2008

RCF1: Theories of PR Maps and Partial PR Maps

Michael Pfender

We give to the categorical theory PR of Primitive Recursion a logically simple, algebraic presentation, via equations between maps, plus one genuine Horner type schema, namely Frey…