Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1-15 |
| Number of pages | 15 |
| Journal | Journal of Logic and Analysis |
| Volume | 7 |
| Issue number | 1 |
| Publication status | Published - Feb 2015 |
Keywords
- irrationality criteria