Pages that link to "Item:Q5625144"
From MaRDI portal
The following pages link to THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS (Q5625144):
Displaying 11 items.
- On a question of Abraham Robinson (Q312327) (← links)
- Implicit definability of subfields (Q558423) (← links)
- Computational complexity of sentences over fields (Q937294) (← links)
- Polynomial time algorithms for sentences over number fields (Q1187032) (← 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)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Defining additive subgroups of the reals from convex subsets (Q3182585) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- Defining transcendentals in function fields (Q4779644) (← links)
- Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes (Q5187379) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
