Existential definability of non-nullity in rings

DOI10.2140/ANT.2007.1.331zbMath1158.13303OpenAlexW1997767089MaRDI QIDQ1005847

Laurent Moret-Bailly

Publication date: 16 March 2009

Published in: Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/ant.2007.1.331

zbMATH Keywords

Artin approximationnoetherian ringshenselian ringspositive-existential definability

Mathematics Subject Classification ID

Model theory (03C99) Model theory (number-theoretic aspects) (11U09) Étale and flat extensions; Henselization; Artin approximation (13B40) Henselian rings (13J15)

Related Items (6)

NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ An extension of Greenberg's theorem to general valuation rings ⋮ Uniform bounds on symbolic powers ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Diophantine sets of polynomials over number fields ⋮ Julia Robinson numbers

This page was built for publication: Existential definability of non-nullity in rings