EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS

From MaRDI portal
Publication:5251371