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

DOI10.1134/S106456241505004XzbMATH Open1382.03060MaRDI QIDQ906085FDOQ906085

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

Publication date: 29 January 2016

Published in: Doklady Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• Title not available (Why is that?)
• Problem of the number of non-self-equivalent constructivizations
• Title not available (Why is that?)
• Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
• Pairs of recursive structures
• The complexity of computable categoricity
• Title not available (Why is that?)
• Degrees of categoricity for superatomic Boolean algebras
• Mathematical Problems from Applied Logic II
• Title not available (Why is that?)

Cited In (16)

• The complexity of index sets for several classes of models
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Categoricity spectra of computable structures
• Decidable categoricity spectra for almost prime models
• \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes
• Complexity of index sets of calculable classes with a finite number of constructive systems
• Reconstructing structures with the strong small index property up to bi-definability
• Index sets of classes of automatic structures
• Index sets for some classes of structures
• On decidable categoricity and almost prime models
• The index set of Boolean algebras autostable relative to strong constructivizations
• Index sets of computable structures
• Categoricity spectra for polymodal algebras

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)