Real closed fields and models of Peano Arithmetic

To upload material, you must first log in.