Publication:4129534
From MaRDI portal
zbMath0357.10032MaRDI QIDQ4129534
Ch. Ja. Christov, Todor D. Todorov
Publication date: 1973
26E35: Nonstandard analysis
11U10: Nonstandard arithmetic (number-theoretic aspects)
03H99: Nonstandard models