It is not the case that Robinson's 1966 non-standard proofs of results like the Bernstein-Robinson theorem were rapidly given standard reformulations by Halmos and others.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.