P != NP over the Nonstandard Reals Implies P != NP over R.

Christian Michaux P != NP over the Nonstandard Reals Implies P != NP over R. 95-104 1994 133 Theor. Comput. Sci. 1 db/journals/tcs/tcs133.html#Michaux94