Publication:5672894
From MaRDI portal
zbMath0257.02046MaRDI QIDQ5672894
Publication date: 1972
46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
11U07: Ultraproducts (number-theoretic aspects)
11U10: Nonstandard arithmetic (number-theoretic aspects)
54J05: Nonstandard topology
03H99: Nonstandard models