Ordinals and recursively defined functions on the reals

Gabriel Nivasch, Lior Shiboli

We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb{R}\to \mathbb{R}$, call a decrea…