ABSTRACT

By Definition 4.4.1 flexible functions are definable functions of real arguments whose values are external numbers. As in Chapter 4 we restrict our study to flexible functions F : X ⊆ R → E https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429291456/fe8cdc89-fe64-4f04-a704-b620f274d342/content/inline-math6_1.jpg"/> with a (definable) representative f so that F(x) = f(x) + N F (x) for all x ∈ X, where N F (x) is the neutrix part of F(x). We study these functions with respect to notions of limit and continuity. Much of the material originates from the Ph.D. thesis of Nam Van Tran [146].