Pages that link to "Item:Q2510101"

The following pages link to A universal first-order formula defining the ring of integers in a number field (Q2510101):

Displaying 15 items.

• Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
• Universally and existentially definable subsets of global fields (Q1720115) (← links)
• Universally defining finitely generated subrings of global fields (Q2062179) (← links)
• Elliptic curves, \(L\)-functions, and Hilbert's tenth problem (Q2406359) (← links)
• Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
• Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
• Characterizing integers among rational numbers with a universal-existential formula (Q3638117) (← links)
• Elimination theory for the ring of algebraic integers. (Q3808206) (← links)
• Irreducibility of polynomials over global fields is diophantine (Q4636426) (← 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)
• Defining \(\mathbb Z\) in \(\mathbb Q\) (Q5962625) (← 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)
• A survey of local-global methods for Hilbert's tenth problem (Q6611633) (← links)