[1] New thermal data from 18–24 Ma lithosphere on the Cocos Plate delineate contrasting subsurface thermal conditions in adjacent sections of crust. Heat flow through seafloor created at the East… (More)

Early studies of the thermal state of the Cocos plate subducting beneath the northern Costa Rica margin identified two adjacent areas of higher (>100 mW/m 2) and lower (<30 mW/m 2) heat flow.… (More)

We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within “Ordinal” O : = N[ω] of polynomials in one indeterminate, ordered… (More)

Preface Recursive maps, nowadays called primitive recursive maps, PR maps, have been introduced by Gödel in his 1931 article for the arithmeti-sation, gödelisation, of metamathematics. For… (More)

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 Theory of Primitive Recursion with… (More)