\(\mathcal M^2\)-computable real numbers (Q2907063)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \(\mathcal M^2\)-computable real numbers |
scientific article; zbMATH DE number 6078055
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\mathcal M^2\)-computable real numbers |
scientific article; zbMATH DE number 6078055 |
Statements
5 September 2012
0 references
computable real number
0 references
computable real-valued function
0 references
subrecursive
0 references
\(\Delta_0\)-definable
0 references
elementary functions of calculus
0 references
\(\mathcal M^2\)-computable real numbers (English)
0 references
The paper addresses \(\mathcal M^2\)-computability of real numbers. It is shown that certain significant real numbers are \(\mathcal M^2\)-computable. It is also shown that the set of \(\mathcal M^2\)-computable real numbers is closed under the elementary functions of calculus.
0 references
