Displaying similar documents to “Rückert Nullstellensatz for normed, non-discrete fields using non-standard analysis.”