×

zbMATH — the first resource for mathematics

On the language \(\text{ Я}_{\omega i}\). (English. Russian original) Zbl 0342.02023
Sov. Math., Dokl. 15, 443-447 (1974); translation from Dokl. Akad. Nauk SSSR 215, 57-60 (1974).

MSC:
03F99 Proof theory and constructive mathematics
03D55 Hierarchies of computability and definability
PDF BibTeX XML Cite