Why descriptive set theorists treat sequences of natural numbers as “reals”
This paper explains why many descriptive set theorists call elements of the Baire space “reals.” The Baire space is the set of all infinite sequences of natural numbers, written N^ω. The authors, Dhruv Kulshreshtha and Jamie Tappenden, give a careful, mostly expository account of the folklore behind this practice and show when it is justified.
The article assembles scattered observations and standard facts that are often used without comment. It begins with a short review of the basic topology needed to make comparisons. The authors then list the “favorable properties” of Baire space that make it convenient for descriptive set theory and explain how these compare with the familiar properties of the ordinary real line R, such as connectedness, separability, and various completeness notions.
At a high level the idea is simple. Many problems in descriptive set theory can be stated and proved for Baire space, and then transferred to other common spaces, including R. Baire space is a natural coding of objects as sequences of integers. The paper describes ways to reduce the study of R and of more general Polish and quasi‑Polish spaces to the case of Baire space. This lets researchers work in one convenient setting and then move results to the usual real numbers when needed.
Why this matters: working in Baire space often makes definitions and proofs cleaner. The paper points out historical and practical reasons for this choice, including connections with computability theory and with classical results in descriptive set theory. The exposition references standard sources and recent directions where the Baire-space viewpoint is helpful, such as the study of definable equivalence relations and descriptive combinatorics.
Important caveats are emphasized. The article is expository: it collects and clarifies commonly used assumptions rather than claiming new deep theorems. Some of the folklore the authors explain is often unstated in other papers, so translating between Baire space and the ordinary reals requires attention to which properties are being used. In short, treating sequences of natural numbers as “reals” is a convenient and often justified convention in descriptive set theory, but it rests on explicit reductions and topological comparisons that the paper carefully documents.