Publication:5659672
From MaRDI portal
zbMath0247.12107MaRDI QIDQ5659672
Publication date: 1972
03C60: Model-theoretic algebra
03H99: Nonstandard models
12L15: Nonstandard arithmetic and field theory
Related Items
Applied model theory and metamathematics. An Abraham Robinson memorial problem list, On the finiteness theorem of Siegel and Mahler concerning diophantine equations