Definable properties of the computably enumerable sets

Post 1944 began studying properties of a computably enumerable (c.e.) set A such as simple, h-simple, and hh-simple, with the intent of finding a property guaranteeing incompleteness of A. From observations of Post 1943 and Myhill 1956, attention focused by the 1950's on properties definable in the inclusion ordering of c.e. subsets of!, namely E = (fWngn2! ; ae). In the 1950's and 1960's Tennenbaum, Martin, Yates, Sacks, Lachlan, Shoenfield and others produced a number of elegant results relating E-definable properties of A, like maximal, hh-simple, atomless, to the information content (usually th