First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540)

scientific article

Language	Label	Description	Also known as
English	First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers	scientific article

Statements

instance of

scholarly article

0 references

title

First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (English)

0 references

zbMATH Open document ID

1436.03204

0 references

DOI

10.1007/s11856-018-1708-y

0 references

author

Alexandra Shlapentokh

0 references

published in

Israel Journal of Mathematics

0 references

publication date

22 August 2018

0 references

full work available at URL

https://arxiv.org/abs/1307.0743

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

0 references

0 references

Fields of algebraic numbers with bounded local degrees and their properties

0 references

Division-ample sets and the Diophantine problem for rings of integers

0 references

Diophantine Sets Over Algebraic Integer Rings. II

0 references

Diophantine Sets over Some Rings of Algebraic Integers

0 references

Hilbert’s Tenth Problem: Relations with Arithmetic and Algebraic Geometry

0 references

Descent on elliptic curves and Hilbert’s tenth problem

0 references

Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields

0 references

Q4317826

0 references

Definability of the ring of integers in some infinite algebraic extensions of the rationals

0 references

Defining $\mathbb Z$ in $\mathbb Q$

0 references

Q5612629

0 references

Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of $\mathbb{Q}$

0 references

Arithmetic over the rings of all algebraic integers.

0 references

Ranks of twists of elliptic curves and Hilbert's tenth problem

0 references

Additional results to a theorem of Eisenträger and Everest

0 references

THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

0 references

Q4737473

0 references

Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$

0 references

Q3588162

0 references

Characterizing integers among rational numbers with a universal-existential formula

0 references

Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields

0 references

Q4414310

0 references

Definability and decision problems in arithmetic

0 references

The Undecidability of Algebraic Rings and Fields

0 references

Q5726694

0 references

On $L$-functions of elliptic curves and cyclotomic towers

0 references

Undecidability and Definability for the Theory of Global Fields

0 references

First-order definitions of rational functions and ${\mathcal S}$-integers over holomorphy rings of algebraic functions of characteristic 0

0 references

Diophantine definability and decidability in extensions of degree 2 of totally real fields

0 references

Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers

0 references

Rings of algebraic numbers in infinite extensions of $\mathbb Q$ and elliptic curves retaining their rank

0 references

ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS

0 references

Q5807665

0 references

Elimination theory for the ring of algebraic integers.

0 references

On the constructible numbers

0 references

Definability of the ring of integers in pro-$p$ Galois extensions of number fields

0 references

The undecidability of cyclotomic towers

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1659540