Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations

DOI10.1134/S1064562415020106MaRDI QIDQ492716zbMATH OpenFDO

Authors S. S. Goncharov, Margaret I. Marchuk

Publication date 21 August 2015

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S1064562415020106

zbMATH Keywords

constructive models

Mathematics Subject Classification ID

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

Cites work

• Computability and computable models
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 5379427 (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?)
• scientific article; zbMATH DE number 6261978 (Why is no real title available?)
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• Index sets of constructive models that are autostable under strong constructivizations
• Index sets of prime models
• On ^0_2-categoricity of Boolean algebras
• Problem of the number of non-self-equivalent constructivizations

Cited in

(5)

• On decidable categoricity and almost prime models
• 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
• Decidable categoricity spectra for almost prime models
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations

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

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