Index sets of autostable relative to strong constructivizations constructive models for familiar classes

DOI10.1134/S106456241505004XMaRDI QIDQ906085zbMATH OpenFDO

Authors S. S. Goncharov, Nikolay Bazhenov, Margaret I. Marchuk

Publication date 29 January 2016

Published in Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Index sets of constructive models that are autostable under strong constructivizations
• The index set of Boolean algebras autostable relative to strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• scientific article; zbMATH DE number 3853049

Cites work

• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 5379427 (Why is no real title available?)
• scientific article; zbMATH DE number 3472034 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• Computable structures and the hyperarithmetical hierarchy
• Degrees of categoricity for superatomic Boolean algebras
• Index sets of constructive models that are autostable under strong constructivizations
• Mathematical Problems from Applied Logic II
• Pairs of recursive structures
• Problem of the number of non-self-equivalent constructivizations
• The complexity of computable categoricity

Cited in

(19)

• Index sets of classes of automatic structures
• Index sets of computable structures
• Index sets for some classes of structures
• scientific article; zbMATH DE number 3853049 (Why is no real title available?)
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes
• Categoricity spectra of computable structures
• The complexity of index sets for several classes of models
• On decidable categoricity and almost prime models
• Decidable categoricity spectra for almost prime models
• Index sets of constructive models that are autostable under strong constructivizations
• Complexity of index sets of calculable classes with a finite number of constructive systems
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• Categoricity spectra for polymodal algebras
• The index set of Boolean algebras autostable relative to strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations
• Reconstructing structures with the strong small index property up to bi-definability
• The index set of the groups autostable relative to strong constructivizations
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations

This page was built for publication: Index sets of autostable relative to strong constructivizations constructive models for familiar classes

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