scientific article; zbMATH DE number 860046

MaRDI QIDQ4870818zbMATH OpenFDO

Authors Martín Escardo

Publication date 16 July 1996

zbMATH Keywords

fixed point theoreminduction principleinfinite composition theoreminfinitely iterated composition of morphisms in categoriesPeano axiomsreal linerecursion schemeuniform spaces

Mathematics Subject Classification ID

Inductive definability (03D70) Abstract and axiomatic computability and recursion theory (03D75) First-order arithmetic and fragments (03F30) Categorical logic, topoi (03G30) Uniform structures and generalizations (54E15)

Recommendations

• Induction and recursion on the partial real line with applications to Real PCF
• scientific article; zbMATH DE number 4099283
• The instructor's guide to real induction
• scientific article; zbMATH DE number 1163362
• Recursion, induction and well-founded orders

Cited in

(6)

• Induction and recursion on the partial real line with applications to Real PCF
• Recursive characterization of computable real-valued functions and relations
• PCF extended with real numbers
• Integration in Real PCF
• scientific article; zbMATH DE number 4099283 (Why is no real title available?)
• Recursion, induction and well-founded orders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4870818)