The following pages link to (Q3588162):
Displayed 16 items.
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- The index of an algebraic variety (Q1955772) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025) (← links)
- The number of solutions of a diophantine equation over a recursive ring (Q2855895) (← links)
- Equations in nilpotent groups (Q2944847) (← links)
- Musielak-Orlicz-Sobolev spaces on metric measure spaces (Q2948001) (← links)
- The Heterogeneity of Mathematical Research (Q3305309) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- On an exponential predicate in polynomials over finite fields (Q3574832) (← links)
- Decidability of Sub-theories of Polynomials over a Finite Field (Q3576076) (← links)
- Diophantine sets of polynomials over number fields (Q3581096) (← links)
- Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
- Eager Equality for Rational Number Arithmetic (Q6116359) (← links)
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory (Q6163881) (← links)