Pages that link to "Item:Q906085"
From MaRDI portal
The following pages link to Index sets of autostable relative to strong constructivizations constructive models for familiar classes (Q906085):
Displaying 6 items.
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- The index set of the groups autostable relative to strong constructivizations (Q2360262) (← links)
- \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes (Q2364332) (← links)
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations (Q2364335) (← links)