Following a question of Brun, we consider the possibility of finding a first order statement that the rational summands in an infinite series can be checked against in order to give a sufficient condition for the series to sum to an irrational value. We show that such a statement can exist in structures that define the integers, but not in o-minimal structures.
|Number of pages||15|
|Journal||Journal of Logic and Analysis|
|Publication status||Published - Feb 2015|
- irrationality criteria