OpenAlex
La définissabilité des entiers dans les corps de courbes réelles archimédiens
Work