scientific article; zbMATH DE number 860046
From MaRDI portal
Publication:4870818
zbMath0841.03026MaRDI QIDQ4870818
Publication date: 16 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point theoreminduction principleuniform spacesreal linerecursion schemePeano axiomsinfinite composition theoreminfinitely iterated composition of morphisms in categories
Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30) Uniform structures and generalizations (54E15) Inductive definability (03D70) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Recursive characterization of computable real-valued functions and relations ⋮ PCF extended with real numbers ⋮ Induction and recursion on the partial real line with applications to Real PCF ⋮ Integration in Real PCF
