Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
From MaRDI portal
Publication:5741335
DOI10.1007/s10958-015-2253-4zbMath1349.03037OpenAlexW2088150916MaRDI QIDQ5741335
Margaret I. Marchuk, Sergei S. Goncharov
Publication date: 22 July 2016
Published in: Journal of Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-015-2253-4
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (9)
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 bounded signature that are autostable relative to strong constructivizations ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ Index sets of autostable relative to strong constructivizations constructive models for familiar classes ⋮ On decidable categoricity and almost prime models ⋮ Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations ⋮ The index set of Boolean algebras autostable relative to strong constructivizations ⋮ Autostability spectra for Boolean algebras
Cites Work
- Problem of the number of non-self-equivalent constructivizations
- 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
- 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 that are Autostable Under Strong Constructivizations
