Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
From MaRDI portal
Publication:887638
DOI10.1007/s10469-015-9331-zzbMath1347.03069OpenAlexW2295080684MaRDI QIDQ887638
Sergei S. Goncharov, Margaret I. Marchuk
Publication date: 27 October 2015
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-015-9331-z
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (8)
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 of constructive models of finite and graph signatures that are autostable relative to strong constructivizations ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ 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 ⋮ Categoricity spectra of computable structures
Cites Work
- Strong and weak constructivization and computable families
- Strongly constructive models and numerations of the Boolean algebra of recursive sets
- Constructive models of complete solvable theories
- Index sets of prime models
- Non Σn axiomatizable almost strongly minimal theories
- Complexity of Categorical Theories with Computable 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
- Unnamed Item
- Unnamed Item
This page was built for publication: Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
