The index set of the groups autostable relative to strong constructivizations

DOI10.1134/S0037446617010104MaRDI QIDQ2360262zbMATH OpenFDO

Authors S. S. Goncharov, Nikolay Bazhenov, Margaret I. Marchuk

Publication date 30 June 2017

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0037446617010104

zbMATH Keywords

2-step nilpotent groupautostabilityautostability relative to strong constructivizationscomputable modelgrouphyperarithmetical hierarchyindex setstrongly constructivizable model

Mathematics Subject Classification ID

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

Cites work

• Autostability spectra for Boolean algebras
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Degrees of autostability relative to strong constructivizations
• scientific article; zbMATH DE number 3162903 (Why is no real title available?)
• scientific article; zbMATH DE number 4027415 (Why is no real title available?)
• scientific article; zbMATH DE number 52254 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• Index sets of constructive models that are autostable under strong constructivizations
• Nilpotent groups of finite algorithmic dimension
• Recursive categoricity and persistence
• Strong and weak constructivization and computable families
• The complexity of computable categoricity
• The index set of Boolean algebras autostable relative to strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations

Cited in

(5)

• Categoricity spectra of computable structures
• A note on decidable categoricity and index sets
• On decidable categoricity and almost prime models
• The index set of Boolean algebras autostable relative to strong constructivizations
• Decidable categoricity spectra for almost prime models

This page was built for publication: The index set of the groups autostable relative to strong constructivizations

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