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

autostabilitycomputable modelconstructive modelindex setsmodel

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
• Estimation of the algorithmic complexity of classes of computable models
• Even dimensional submanifolds of spheres with nonnegative curvature operator
• 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?)
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of prime models
• On ^0_2-categoricity of Boolean algebras
• Strong and weak constructivization and computable families

Cited in

(10)

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

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)