Pages that link to "Item:Q3638117"
From MaRDI portal
The following pages link to Characterizing integers among rational numbers with a universal-existential formula (Q3638117):
Displayed 18 items.
- The complexity of tensor rank (Q722207) (← links)
- A quantitative primitive divisor result for points on elliptic curves (Q988067) (← 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)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS (Q2907085) (← links)
- Defining Integers (Q3011104) (← links)
- Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q (Q3188274) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Two conjectures on the arithmetic in ℝ and ℂ (Q3552394) (← links)
- Irreducibility of polynomials over global fields is diophantine (Q4636426) (← links)
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS (Q5070470) (← links)
- Diophantine definability of nonnorms of cyclic extensions of global fields (Q5240177) (← links)
- Defining \(\mathbb Z\) in \(\mathbb Q\) (Q5962625) (← links)
- RAC-Drawability is ∃ℝ-complete and Related Results (Q6181953) (← 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)