Computing strength of Structures Related to the field of Real numbers

Gregory Igusa, Julia F. Knight, Noah David Schweber. Computing strength of Structures Related to the field of Real numbers. Journal of Symbolic Logic, 82(1):137-150, 2017. [doi]

Abstract

Abstract is missing.