Speaker: Leah Marshall, GWU

Abstract: We will review and continue our discussion from the December seminar. A computable structure A is computably categorical if for every isomorphic computable structure B, there is a computable isomorphism from A to B. A computable injection structure is a structure consisting of a computable set and a computable injective (1–1) function. We will present some recent results generalizing the notion of computable injection structures to include partial computable functions. We will also present recent results regarding computable categoricity of computable partial injection structures.