scientific article; zbMATH DE number 1302873
This is a survey on results on computable classes of algebraic systems. A class of constructive models \(K\) is called computable if it possesses a computable indexing, i.e., if there exists a computable sequence of computable models \((M_i)_{i<\omega}\) such that each of its members has a computably isomorphic copy in the class \(K\) and each member of \(K\) has a computably isomorphic copy among the \(M_i\)'s. The author discusses the results on index sets of computable indexings, algorithmic reducibilities of computable indexings, semilattices of computable indexings, and other related problems for abstract classes of systems as well as for classical families of models such as Abelian groups, Boolean algebras, etc. For the entire collection see [Zbl 0905.03001].
- Computability of the set of computable indexing schemes of the class of constructible models
- Local classes and computable indexations
- scientific article; zbMATH DE number 4053597
- Conditions of effective infinity for the set of computable indexings of a class of constructive models
- Publication:4735182
- Complexity of index sets of calculable classes with a finite number of constructive systems
- Constructive sets in computable sets
- Computable classes of constructive models with non-limit-equivalent indexations
- Conditions of effective infinity for the set of computable indexings of a class of constructive models
- Computability of the set of computable indexing schemes of the class of constructible models
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- Computability and universal determinability of negatively representable models
- On Constructive Nilpotent Groups
- Computability and computable models
- scientific article; zbMATH DE number 3918348 (Why is no real title available?)
- scientific article; zbMATH DE number 4053597 (Why is no real title available?)
- scientific article; zbMATH DE number 4101163 (Why is no real title available?)
- scientific article; zbMATH DE number 1302878 (Why is no real title available?)
- scientific article; zbMATH DE number 2047478 (Why is no real title available?)
- scientific article; zbMATH DE number 4121979 (Why is no real title available?)
- Computability of homogeneous models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249359)
