Arithmetic over the rings of all algebraic integers.

DOI10.1515/crll.1986.368.127zbMath0581.14014OpenAlexW1722393063MaRDI QIDQ3704002

Robert S. Rumely

Publication date: 1986

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002203634

zbMATH Keywords

Hasse principleHilbert's tenth problemring of all algebraic integerscapacity theory on algebraic curvescompletely valued algebraically closed fieldsdecision procedure for diophantine equationsrational points of affine variety

Mathematics Subject Classification ID

Decidability and field theory (12L05) Rational points (14G05) Arithmetic ground fields for curves (14H25) Decidability of theories and sets of sentences (03B25) Diophantine inequalities (11D75) Diophantine equations (11D99)

Related Items

Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\) ⋮ Bezout Domains and Elliptic Curves ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ An infinite version of Arrow's theorem in the effective setting ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Integral points of certain matrix schemes ⋮ Forking and dividing in fields with several orderings and valuations ⋮ Groupes de Picard et problèmes de Skolem. I ⋮ Groupes de Picard et problèmes de Skolem. II ⋮ Recent results in the theory of constant reductions ⋮ On certain reduction problems concerning abelian surfaces ⋮ Definability of the natural numbers in totally real towers of nested square roots ⋮ Capacity theory and arithmetic intersection theory ⋮ Semi-abelian schemes and heights of cycles in moduli spaces of abelian varieties ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games ⋮ Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings ⋮ Geometric families of constant reductions and the Skolem property ⋮ On the decidability of the theory of modules over the ring of algebraic integers ⋮ Galois module structure of unramified covers ⋮ A computational journey into the mind ⋮ A generalization of von Neumann regularity ⋮ Picardindex und ganzalgebraische Punkte. (Picard index and integral points) ⋮ Points entiers et théorèmes de Bertini arithmétiques. (Integral points and arithmetic Bertini theorems) ⋮ On pseudo algebraically closed extensions of fields ⋮ Undecidability of ℚ⁽²⁾ ⋮ What can and cannot be done with Diophantine problems ⋮ Genre et genre residuel des corps de fonctions valués. (Genus and residual genus of valued function fields) ⋮ Bézout domains and lattice-valued modules ⋮ Rumely's local global principle for weakly P\(\mathcal S\)C fields over holomorphy domains ⋮ Prolongement de la valeur absolue de Gauss et problème de Skolem ⋮ Definability and decidability in infinite algebraic extensions ⋮ Hypersurfaces in projective schemes and a moving lemma