An Isomorphism Theorem for Partial Numberings

Dieter Spreen. An Isomorphism Theorem for Partial Numberings. In Vasco Brattka, Hannes Diener, Dieter Spreen, editors, Logic, Computation, Hierarchies. Volume 4 of Ontos Mathematical Logic, pages 341-382, De Gruyter, 2014. [doi]

Abstract

Abstract is missing.