Pages that link to "Item:Q2570137"

The following pages link to First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137):

Displaying 2 items.

• Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)