Timeline for Theory of addition and a predicate that recognizes powers of 2
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17 at 15:20 | history | edited | Mikhail Katz |
edited tags
|
|
| Jan 19, 2011 at 3:59 | history | edited | David Feldman | CC BY-SA 2.5 |
deleted 237 characters in body
|
| Jan 19, 2011 at 3:58 | vote | accept | David Feldman | ||
| Jan 19, 2011 at 2:43 | answer | added | Dave Marker | timeline score: 9 | |
| Jan 18, 2011 at 20:51 | comment | added | Andrés E. Caicedo | Hi David. Are you familiar with the work of Richard? It is not exactly on Presburger arithmetic, so it may not be relevant. In any case: Denis Richard, "All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate", Special volume on ordered sets and their applications (L'Arbresle, 1982), Discrete Math. 53 (1985), 221–247. | |
| Jan 18, 2011 at 20:26 | history | asked | David Feldman | CC BY-SA 2.5 |