Algorithmic complexity of algebraic systems

DOI10.1007/BF01158034MaRDI QIDQ1121875zbMATH OpenOpenAlexFDO

Authors Victor Selivanov

Publication date 1988

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01158034

zbMATH Keywords

classification of algebraic systems by Turing degrees of unsolvabilityconstrucible structuredegree of constructibilitym-degrees of recursively enumerable setsstrong constructibility

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursively (computably) enumerable sets and degrees (03D25) Undecidability and degrees of sets of sentences (03D35) Theory of numerations, effectively presented structures (03D45)

Review text

See the review in Zbl 0664.03032.

Cites work

• Definable structures in the lattice of recursively enumerable sets
• Degrees of Structures
• Hierarchies of Boolean algebras
• scientific article; zbMATH DE number 3943890 (Why is no real title available?)
• The computable enumerations of families of general recursive functions

Cited in

(13)

• Issues of algorithmics and Glushkov's systems of algorithmic algebras
• Computability of distributive lattices
• On recursively enumerable structures
• Degree spectra of structures
• Learning families of algebraic structures from informant
• Effective categoricity for distributive lattices and Heyting algebras
• Complexity of the normalization of algebras
• Well-Quasi Orders and Hierarchy Theory
• scientific article; zbMATH DE number 7295748 (Why is no real title available?)
• scientific article; zbMATH DE number 3933053 (Why is no real title available?)
• Decidability of classes of algebraic systems in polynomial time
• Computable embeddability for algebraic structures
• On the main scientific achievements of Victor Selivanov

This page was built for publication: Algorithmic complexity of algebraic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121875)