Formula2-computable real numbers

DOI10.1093/LOGCOM/EXQ050zbMath1260.03088OpenAlexW2295875602MaRDI QIDQ2907063

Andreas Weiermann, Ivan Georgiev, Dimiter Skordev

Publication date: 5 September 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq050

zbMATH Keywords

computable real numbercomputable real-valued functionelementary functions of calculussubrecursive\(\Delta_0\)-definable

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items (6)

Continued fractions of primitive recursive real numbers ⋮ Unnamed Item ⋮ Computable irrational numbers with representations of surprising complexity ⋮ On subrecursive complexity of integration ⋮ On a Relative Computability Notion for Real Functions ⋮ Dedekind cuts and long strings of zeros in base expansions

This page was built for publication: Formula2-computable real numbers