Indécidabilité des corps de courbe réelle
From MaRDI portal
Publication:4292594
DOI10.2307/2275251zbMath0799.12007OpenAlexW2116137224MaRDI QIDQ4292594
Publication date: 13 June 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275251
Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Field extensions (12F99)
Related Items (3)
La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field) ⋮ Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Cites Work
This page was built for publication: Indécidabilité des corps de courbe réelle
