The following pages link to Definability in number fields (Q3765748):
Displaying 11 items.
- Implicit definability of subfields (Q558423) (← links)
- The definability of fields (Q1125121) (← links)
- Sentences over integral domains and their computational complexities (Q1286369) (← links)
- La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field) (Q1408109) (← links)
- Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- The rational field is not universally definable in pseudo-exponentiation (Q3195141) (← links)
- Characterizing integers among rational numbers with a universal-existential formula (Q3638117) (← links)
- Definability in reducts of algebraically closed fields (Q3798644) (← links)
- Definability on Formulas With Single Quantifier (Q3808066) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
