The following pages link to Alexandra Shlapentokh (Q204234):
Displaying 50 items.
- A polynomial encoding provability in pure mathematics (outline of an explicit construction) (Q351271) (← links)
- The analogue of Büchi's problem for function fields (Q555587) (← links)
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 (Q701108) (← links)
- Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points (Q785335) (← links)
- Rational separability of the integral closure (Q838436) (← links)
- Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
- (Q937913) (redirect page) (← links)
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic (Q937914) (← links)
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank (Q1005933) (← links)
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
- Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0 (Q1183265) (← links)
- A Diophantine definition of rational integers over some rings of algebraic numbers (Q1203759) (← links)
- Weak presentations of non-finitely generated fields (Q1295394) (← links)
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\) (Q1331916) (← links)
- Diophantine classes of holomorphy rings of global fields (Q1336465) (← links)
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator (Q1365349) (← links)
- The logic of pseudo-\(S\)-integers (Q1380507) (← links)
- Hilbert's tenth problem for algebraic function fields over infinite fields of constants of positive characteristic (Q1587513) (← links)
- Defining integrality at prime sets of high density over function fields (Q1599512) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Universally and existentially definable subsets of global fields (Q1720115) (← links)
- Polynomials with a given discriminant over fields of algebraic functions of positive characteristic (Q1814773) (← links)
- Algebraic and Turing separability of rings (Q1814984) (← links)
- Non-standard extensions of weak presentations (Q1902093) (← links)
- Diophantine undecidability over algebraic function fields over finite fields of constants (Q1915694) (← links)
- Rational separability over a global field (Q1919540) (← links)
- Hilbert's tenth problem for rational function fields over \(p\)-adic fields (Q1931690) (← links)
- Generalized Büchi's problem for algebraic functions and meromorphic functions (Q1936617) (← links)
- Defining integrality at prime sets of high density in number fields. (Q1974973) (← links)
- Undecidable arithmetic properties of solutions of Fredholm integral equations (Q2116752) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- On a theorem of Matiyasevich (Q2210378) (← links)
- Representing integers by multilinear polynomials (Q2221679) (← links)
- On a Diophantine representation of the predicate of provability (Q2253864) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025) (← links)
- Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field (Q2359446) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields (Q2391565) (← links)
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem (Q2406359) (← links)
- Existential Diophantine definability of string length (Q2419123) (← links)
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137) (← links)
- On existential definitions of c.e. subsets of rings of functions of characteristic 0 (Q2668003) (← links)
- Lower and upper estimates of the quantity of algebraic numbers (Q2682898) (← links)
- (Q2715530) (← links)
- ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS (Q2907085) (← links)
- Hilbert’s Tenth Problem for Subrings of $${\mathbb {Q}}$$ and Number Fields (Extended Abstract) (Q2948448) (← links)
- Defining Integers (Q3011104) (← links)
- On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0 (Q3149994) (← links)
- Generalised weak presentations (Q3149995) (← links)
