03D45 Theory of numerations, effectively presented structures [See also 03C57] {For intuitionistic and similar approaches, see 03F55} 1629