Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
From MaRDI portal
Publication:5187379
DOI10.24033/msmf.310zbMath0562.12025MaRDI QIDQ5187379
Publication date: 1984
Published in: Mémoires de la Société mathématique de France (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=MSMF_1984_2_16__23_0
entire functions; decidability; field of meromorphic functions; second order number theory; definable polynomial ring; fields of analytic functions
12L05: Decidability and field theory
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
12L12: Model theory of fields
13J05: Power series rings
12D99: Real and complex fields
Related Items
Some curiosities of rings of analytic functions, An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
Cites Work