A Diophantine definition of rational integers over some rings of algebraic numbers

DOI10.1305/ndjfl/1093634397zbMath0771.11048OpenAlexW2026628716MaRDI QIDQ1203759

Alexandra Shlapentokh

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634397

zbMATH Keywords

decidabilityHilbert's Tenth Problemdiophantine definition of rational integersrings of algebraic numbers

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05)

Related Items (3)

Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\) ⋮ The logic of pseudo-\(S\)-integers ⋮ DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES

This page was built for publication: A Diophantine definition of rational integers over some rings of algebraic numbers