Rationally Querying the Reals

Abstract: A new definition of a real number is that it is a rule which says Yes or No based on whether the real number ought to be in a given rational interval. This is a teaser paper for formalizing, exploring, and generalizing this definition. The full exploration is given in the paper "Defining Real Numbers as Oracles".