On recursively enumerable structures

DOI10.1016/0168-0072(94)00050-6MaRDI QIDQ1919770zbMATH OpenOpenAlexFDO

Authors Victor Selivanov

Publication date 11 February 1997

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(94)00050-6

zbMATH Keywords

acceptable numerationsdecision problemsfree countable structuresindex setsquasivarietiesuniversal r.e. structures

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Quasivarieties (08C15)

Recommendations

• Reducibilities among equivalence relations induced by recursively enumerable structures
• scientific article; zbMATH DE number 218551
• Enumerations, countable structures and Turing degrees
• scientific article; zbMATH DE number 3857082
• scientific article; zbMATH DE number 806750

Cites work

• Algorithmic complexity of algebraic systems
• Computable Algebra, General Theory and Theory of Computable Fields
• Fine hierarchy and definable index sets
• Hierarchies of hyperarithmetical sets and functions
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3664931 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• Index sets of quotient objects of the Post numeration
• Recursively enumerable many-one degrees
• Recursively enumerable vector spaces
• Semantically universal classes of models
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III

Cited in

(17)

• Precomplete numberings
• Recursive Functions on Lazy Lists via Domains and Topologies
• scientific article; zbMATH DE number 3841924 (Why is no real title available?)
• scientific article; zbMATH DE number 4148069 (Why is no real title available?)
• Universal Recursively Enumerable Sets of Strings
• Universal recursion theoretic properties of r.e. preordered structures
• scientific article; zbMATH DE number 1302872 (Why is no real title available?)
• scientific article; zbMATH DE number 729933 (Why is no real title available?)
• scientific article; zbMATH DE number 806750 (Why is no real title available?)
• scientific article; zbMATH DE number 874495 (Why is no real title available?)
• NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
• Array nonrecursiveness and relative recursive enumerability
• Ranked structures and arithmetic transfinite recursion
• Recursive constructions of complete caps
• A review on existence of various recurrent like structures
• Universal Boolean algebras with applications to semantic classes of models
• Reducibilities among equivalence relations induced by recursively enumerable structures

This page was built for publication: On recursively enumerable structures

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