Autostabilität und berechenbare Familien von Konstruktivierungen. (Russian) Zbl 0367.02023
MSC:
03D99 | Computability and recursion theory |
03D25 | Recursively (computably) enumerable sets and degrees |
03C68 | Other classical first-order model theory |
03D99 | Computability and recursion theory |
03D25 | Recursively (computably) enumerable sets and degrees |
03C68 | Other classical first-order model theory |