The index set of the groups autostable relative to strong constructivizations
From MaRDI portal
Publication:2360262
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)
index setgroupautostabilitycomputable modelautostability relative to strong constructivizationsstrongly constructivizable modelhyperarithmetical hierarchy2-step nilpotent group
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