On \(\emptyset\)-definable elements in a field
From MaRDI portal
Publication:2642842
zbMath1126.03040arXivmath/0502565MaRDI QIDQ2642842
Publication date: 5 September 2007
Published in: Collectanea Mathematica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0502565
finitely generated field extension; Mordell-Faltings theorem; existentially definable element; recursively approximable real number; transcendental element