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

DOI10.1007/S10469-016-9365-XzbMATH Open1375.03037OpenAlexW2297601035MaRDI QIDQ282114FDOQ282114

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

• Strong and weak constructivization and computable families
• Computable structures and the hyperarithmetical hierarchy
• Index sets of prime models
• Computability and computable models
• Estimation of the algorithmic complexity of classes of computable models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On \(\Delta^0_2\)-categoricity of Boolean algebras
• Title not available (Why is that?)
• Even dimensional submanifolds of spheres with nonnegative curvature operator
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations

Cited In (10)

• Degrees of autostability relative to strong constructivizations of graphs
• 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
• Categoricity spectra of computable structures
• A note on decidable categoricity and index sets
• Decidable categoricity spectra for almost prime models
• Constructing decidable graphs from decidable structures
• On decidable categoricity and almost prime models
• The index set of Boolean algebras 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)