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

DOI10.1007/S10469-016-9365-XzbMath1375.03037OpenAlexW2297601035MaRDI QIDQ282114

Margaret I. Marchuk, Sergei 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

index setsmodelautostabilitycomputable modelconstructive model

Mathematics Subject Classification ID

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

Related Items (7)

The index set of the groups autostable relative to strong constructivizations ⋮ Degrees of autostability relative to strong constructivizations of graphs ⋮ Index set of structures with two equivalence relations that are autostable relative to strong constructivizations ⋮ A note on decidable categoricity and index sets ⋮ On decidable categoricity and almost prime models ⋮ Categoricity spectra of computable structures ⋮ Constructing decidable graphs from decidable structures

Cites Work

• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Strong and weak constructivization and computable families
• Computable structures and the hyperarithmetical hierarchy
• Index sets of prime models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations