Pages that link to "Item:Q906085"

The following pages link to Index sets of autostable relative to strong constructivizations constructive models for familiar classes (Q906085):

Displaying 15 items.

• The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
• Categoricity spectra for polymodal algebras (Q514501) (← links)
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
• Index sets for some classes of structures (Q1006610) (← links)
• Complexity of index sets of calculable classes with a finite number of constructive systems (Q1096621) (← 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)
• The complexity of index sets for several classes of models (Q2885248) (← links)
• Index sets of computable structures (Q3546058) (← links)
• Reconstructing structures with the strong small index property up to bi-definability (Q5226517) (← links)
• (Q5398268) (← links)
• Decidable categoricity spectra for almost prime models (Q6597843) (← links)