Publication:3754086
From MaRDI portal
zbMath0613.14002MaRDI QIDQ3754086
Publication date: 1985
03H15: Nonstandard models of arithmetic
14A05: Relevant commutative algebra
12J10: Valued fields
13J15: Henselian rings
12L15: Nonstandard arithmetic and field theory