Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations

DOI10.1134/S1064562415020106zbMath1330.03076MaRDI QIDQ492716

Sergei S. Goncharov, Margaret I. Marchuk

Publication date: 21 August 2015

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

constructive models

Mathematics Subject Classification ID

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

Related Items (4)

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 ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ On decidable categoricity and almost prime models

Cites Work

• Problem of the number of non-self-equivalent constructivizations
• Computable structures and the hyperarithmetical hierarchy
• Index sets of prime models
• Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
• 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 nontrivial signature autostable relative to strong constructivizations