scientific article; zbMATH DE number 1191235

MaRDI QIDQ3842549zbMATH OpenFDO

Authors M. V. Korovina

Publication date 5 November 1998

zbMATH Keywords

\(\Sigma\)-definable real-valued functionsabstract machines on real numbersuniversal recursive function

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• Recursive characterization of computable real-valued functions and relations
• A foundation for real recursive function theory
• Recursive analysis characterized as a class of real recursive functions
• Recursion theory on the reals and continuous-time computation
• Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions

Cited in

(5)

• Recursive characterization of computable real-valued functions and relations
• Universal functions and \(K \Sigma \)-structures
• Properties of \(s\Sigma\)-reducibility
• A class of almost \(c\)-simple rings
• Universal functions and almost \(c\)-simple models

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 Q3842549)