Problem 347 (difficulty: 8/10)

Prove that if the Bolzano-Weierstrass theorem holds in an ordered field, then it is isomorphic to \(\displaystyle \R\).

Give me another random problem!

Subject, section:
Requested difficulty:
Request for a concrete problem:I want problem no.

Supported by the Higher Education Restructuring Fund allocated to ELTE by the Hungarian Government