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 17 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)
- Undecidability and Definability for the Theory of Global Fields (Q3926549) (← links)
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- Defining transcendentals in function fields (Q4779644) (← links)
- In Memoriam: Raphael Mitchel Robinson (Q4858807) (← links)
- Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes (Q5187379) (← links)
- Decidable fragments of field theories (Q5202171) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
- A Diophantine definition of the constants in \(\mathbb{Q}(z)\) (Q6668366) (← links)
