Index sets of constructive models that are autostable under strong constructivizations

DOI10.1007/S10958-015-2253-4MaRDI QIDQ5741335zbMATHOpenAlexFDO

Authors Margaret I. Marchuk, S. S. Goncharov

Publication date 22 July 2016

Published in Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10958-015-2253-4

zbMATH Keywords

modelcomputable modeldecidable model

Mathematics Subject Classification ID

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

Recommendations

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

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 4027415 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 5018152 (Why is no real title available?)
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Complexity of Categorical Theories with Computable Models
• Constructive models of complete solvable theories
• Estimation of the algorithmic complexity of classes of computable models
• Index sets of prime models
• Non Σ_n axiomatizable almost strongly minimal theories
• Problem of the number of non-self-equivalent constructivizations
• Strong and weak constructivization and computable families
• Strongly constructive models and numerations of the Boolean algebra of recursive sets

Cited in

(17)

• Index sets of classes of automatic structures
• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• Autostability of prime models under strong constructivizations
• scientific article; zbMATH DE number 3853049 (Why is no real title available?)
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• On decidable categoricity and almost prime models
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Autostability spectra for Boolean algebras
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• scientific article; zbMATH DE number 4101162 (Why is no real title available?)
• 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
• Estimation of the algorithmic complexity of classes of computable models

This page was built for publication: Index sets of constructive models that are autostable under strong constructivizations

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