Displaying similar documents to “The Field of Reals with a Predicate for the Powers of Two.”