@Meaningness That's actually a pretty strong rigidity property, I think.
@St_Rev Non-standard reals get you that, but you need several metric tons of cast-iron machinery.
-
-
@Meaningness Which...is an implementation -
@St_Rev Well, you need the implementation to prove that you can use the axioms without worry. Then you can throw away the implementation. - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.