indecidibilidad de la estructura $(\omega,+,2^n)$

Question

¿Es la estructura $(\omega,+,2^n)$indecidible? No hay ninguna forma fácil de definir mediante una fórmula de multiplicación.

Answer 1

La misma pregunta se le pidió, por el mismo usuario de MathOverflow, y la respuesta fue aceptada allí: http://mathoverflow.net/questions/126318/is-the-structure-omega-2n-undecidable .