scientific article

zbMath0537.03022MaRDI QIDQ3322080

V. P. Dobritsa

Publication date: 1983

Full work available at URL: https://eudml.org/doc/187228

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

index setarithmetical hierarchyconstructive modelscomputable classescomputable index functionconstructive systems

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Hierarchies of computability and definability (03D55)

Related Items

Complexity of index sets of calculable classes with a finite number of constructive systems ⋮ Computability of the set of computable indexing schemes of the class of constructible models ⋮ Structural properties of computable classes of contructive models ⋮ Semilattices of computable indexations of classes of constructive models ⋮ Local classes and computable indexations ⋮ Computable classes of constructive models with non-limit-equivalent indexations