scientific article
From MaRDI portal
Publication:3900158
zbMath0453.12012MaRDI QIDQ3900158
Alexander Prestel, Martin Ziegler
Publication date: 1980
Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002197405
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Nonstandard models of arithmetic (03H15) Models of other mathematical theories (03C65) Valued fields (12J10) Nonstandard arithmetic and field theory (12L15)