Pages that link to "Item:Q5962625"
From MaRDI portal
The following pages link to Defining \(\mathbb Z\) in \(\mathbb Q\) (Q5962625):
Displayed 18 items.
- Further results on Hilbert's tenth problem (Q829448) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Universally defining finitely generated subrings of global fields (Q2062179) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- Computable procedures for fields (Q2117796) (← links)
- The Hilbert's-tenth-problem operator (Q2414521) (← links)
- Existential Diophantine definability of string length (Q2419123) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q (Q3188274) (← links)
- Irreducibility of polynomials over global fields is diophantine (Q4636426) (← links)
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS (Q5070470) (← links)
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES (Q5070471) (← links)
- Diophantine definability of nonnorms of cyclic extensions of global fields (Q5240177) (← links)
- As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields (Q5369029) (← links)
- On the computational complexity of decision problems about multi-player Nash equilibria (Q5918702) (← links)
- A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF (Q6199176) (← links)
- Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers (Q6200274) (← links)