The index set of the groups autostable relative to strong constructivizations

DOI10.1134/S0037446617010104zbMath1420.03071MaRDI QIDQ2360262

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

Publication date: 30 June 2017

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

zbMATH Keywords

index setgroupautostabilitycomputable modelautostability relative to strong constructivizationsstrongly constructivizable modelhyperarithmetical hierarchy2-step nilpotent group

Mathematics Subject Classification ID

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

Related Items

A note on decidable categoricity and index sets, On decidable categoricity and almost prime models, Categoricity spectra of computable structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• The complexity of computable categoricity
• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• The index set of Boolean algebras autostable relative to strong constructivizations
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• Strong and weak constructivization and computable families
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Nilpotent groups of finite algorithmic dimension
• Autostability spectra for Boolean algebras
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Degrees of autostability relative to strong constructivizations
• Recursive categoricity and persistence
• Index Sets of Constructive Models that are Autostable Under Strong Constructivizations