Julia Robinson's Numbers

Pierre Gillibert (1) , Gabriele Ranieri (2)

1 Institut für Diskrete Mathematik und Geometrie [Wien]
2 IMA - PUCV - Instituto de Matematica [Valparaiso]

We partially answer to a question of Vidaux and Videla by constructing an infinite family of rings of algebraic integers of totally real subfields of Q whose Julia Robinson's Number is distinct from 4 and +∞. Moreover the set of the Julia Robinson's Number that we construct is unbounded.

Mots clés: Rings of algebraic integers; Undecidability; Totally real fields; Julia Robinson's numbers

Domaines: Théorie des nombres [math.NT]

Pierre Gillibert, Gabriele Ranieri. Julia Robinson's Numbers. 2017. ⟨hal-01626429⟩