Index sets of autostable relative to strong constructivizations constructive models for familiar classes
From MaRDI portal
(Redirected from Publication:906085)
Recommendations
- Index sets of constructive models that are autostable under strong constructivizations
- The index set of Boolean algebras autostable relative to strong constructivizations
- The index set of linear orderings that are autostable relative to strong constructivizations
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
- scientific article; zbMATH DE number 3853049
Cites work
- scientific article; zbMATH DE number 1002913 (Why is no real title available?)
- scientific article; zbMATH DE number 5379427 (Why is no real title available?)
- scientific article; zbMATH DE number 3472034 (Why is no real title available?)
- scientific article; zbMATH DE number 2047478 (Why is no real title available?)
- scientific article; zbMATH DE number 1450824 (Why is no real title available?)
- Computable structures and the hyperarithmetical hierarchy
- Degrees of categoricity for superatomic Boolean algebras
- Index sets of constructive models that are autostable under strong constructivizations
- Mathematical Problems from Applied Logic II
- Pairs of recursive structures
- Problem of the number of non-self-equivalent constructivizations
- The complexity of computable categoricity
Cited in
(19)- Index sets of classes of automatic structures
- Index sets of computable structures
- Index sets for some classes of structures
- scientific article; zbMATH DE number 3853049 (Why is no real title available?)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
- \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes
- Categoricity spectra of computable structures
- The complexity of index sets for several classes of models
- On decidable categoricity and almost prime models
- Decidable categoricity spectra for almost prime models
- Index sets of constructive models that are autostable under strong constructivizations
- Complexity of index sets of calculable classes with a finite number of constructive systems
- scientific article; zbMATH DE number 6262009 (Why is no real title available?)
- Categoricity spectra for polymodal algebras
- The index set of Boolean algebras autostable relative to strong constructivizations
- The index set of linear orderings that are autostable relative to strong constructivizations
- Reconstructing structures with the strong small index property up to bi-definability
- 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
This page was built for publication: Index sets of autostable relative to strong constructivizations constructive models for familiar classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q906085)