The following pages link to Eudes Naziazeno (Q5015552):
Displayed 5 items.
- The Logical Complexity of Finitely Generated Commutative Rings (Q5015553) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
- On the definability of rational integers in a class of rings (Q6263037) (← links)
- Interpretability and uniform definability of integers, and undecidability of reduced indecomposable polynomial rings (Q6284745) (← links)
- Remarks on undecidability of indecomposable polynomial rings (Q6432117) (← links)