Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations

DOI10.1007/S10469-016-9365-XMaRDI QIDQ282114zbMATH OpenOpenAlexFDO

Authors Margaret I. Marchuk, S. S. Goncharov

Publication date 12 May 2016

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-016-9365-x

zbMATH Keywords

modelautostabilitycomputable modelconstructive modelindex sets

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3747093 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (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?)
• Computability and computable models
• Computable structures and the hyperarithmetical hierarchy
• Estimation of the algorithmic complexity of classes of computable models
• Even dimensional submanifolds of spheres with nonnegative curvature operator
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of prime models
• On \(\Delta^0_2\)-categoricity of Boolean algebras
• Strong and weak constructivization and computable families

Cited in

(10)

• A note on decidable categoricity and index sets
• Degrees of autostability relative to strong constructivizations of graphs
• Constructing decidable graphs from decidable structures
• Categoricity spectra of computable structures
• On decidable categoricity and almost prime models
• Decidable categoricity spectra for almost prime models
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• The index set of Boolean algebras autostable relative to strong constructivizations
• 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 constructive models of finite and graph signatures that are autostable relative to strong constructivizations

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