Pages that link to "Item:Q4292594"
From MaRDI portal
The following pages link to Indécidabilité des corps de courbe réelle (Q4292594):
Displaying 6 items.
- On a question of Abraham Robinson (Q312327) (← links)
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- 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) (Q1408109) (← links)
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. (Q1427400) (← links)
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137) (← links)
- Indécidabilité de corps de séries formelles (Q3834039) (← links)