ams mr mathscinet