Non-standard finite fields over \(I\Delta_0+\Omega_1\)
scientific article; zbMATH DE number 1455699
scientific article