The following pages link to Xavier Vidaux (Q503236):
Displayed 27 items.
- (Q393234) (redirect page) (← links)
- A survey on Büchi's problem: new presentations and open problems (Q393235) (← links)
- Positive existential definability of multiplication from addition and the range of a polynomial (Q503237) (← links)
- The analogue of Büchi's problem for function fields (Q555587) (← links)
- Further results on Hilbert's tenth problem (Q829448) (← links)
- The analogue of Büchi's problem for cubes in rings of polynomials (Q953160) (← links)
- An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields (Q1399671) (← links)
- Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's (Q2075403) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- Optimal bounds for Büchi's problem in modular arithmetic (Q2254228) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- A note on the Northcott property and undecidability (Q2788653) (← links)
- Definability of the natural numbers in totally real towers of nested square roots (Q2944799) (← links)
- A characterization of Büchi's integer sequences of length 3 (Q3003431) (← links)
- Multiplication complexe et équivalence élémentaire dans le langage des corps (Complex multiplication and elementary equivalence in the language of fields) (Q3149987) (← links)
- Polynomial parametrizations of length 4 Büchi sequences (Q3174458) (← links)
- THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS (Q3419771) (← links)
- Extensions of Büchi's problem: Questions of decidability for addition and kth powers (Q4677444) (← links)
- Équivalence élémentaire de corps elliptiques (Q4943471) (← links)
- Hilbert’s Tenth Problem for Complex Meromorphic Functions in Several Variables (Q5043829) (← links)
- Julia Robinson numbers and arithmetical dynamic of quadratic polynomials (Q5109737) (← links)
- Büchi’s Problem in Modular Arithmetic for Arbitrary Quadratic Polynomials (Q5242552) (← links)
- New Computational Paradigms (Q5717068) (← links)
- The Diophantine problem for rings of exponential polynomials (Q5870818) (← links)
- Hilbert's tenth problem for complex meromorphic functions in several variables (Q6294397) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q6352310) (← links)
- Effectivity for existence of rational points is undecidable (Q6457951) (← links)