Recursive surreal numbers

Abstract

This paper considers effectivizations of the two standard developments of the surreal number system, viz. via cuts and via sign sequences. Properties of both versions of “computable surreals” are investigated, and it is shown that the two effectivizations in fact yield different sets of surreals. © 1990, Duke University Press. All Rights Reserved.