Pages that link to "Item:Q843611"
From MaRDI portal
The following pages link to Defining the integers in large rings of a number field using one universal quantifier (Q843611):
Displaying 6 items.
- Universally defining finitely generated subrings of global fields (Q2062179) (← links)
- A universal first-order formula defining the ring of integers in a number field (Q2510101) (← links)
- Characterizing integers among rational numbers with a universal-existential formula (Q3638117) (← links)
- Definability on Formulas With Single Quantifier (Q3808066) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
- Defining \(\mathbb Z\) in \(\mathbb Q\) (Q5962625) (← links)