Pages that link to "Item:Q1159633"
From MaRDI portal
The following pages link to Problem of the number of non-self-equivalent constructivizations (Q1159633):
Displaying 33 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations (Q492716) (← links)
- Some applications of computable one-one numberings (Q750430) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Index sets of autostable relative to strong constructivizations constructive models for familiar classes (Q906085) (← links)
- The possible Turing degree of the nonzero member in a two element degree spectrum (Q1210135) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Degree spectra of relations on structures of finite computable dimension (Q1612487) (← links)
- Finite computable dimension and degrees of categoricity (Q1616772) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- Positive enumerable functors (Q2117801) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- Constructing decidable graphs from decidable structures (Q2300933) (← links)
- \(\Sigma\)-presentations of the ordering on the reals (Q2342315) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Degrees of categoricity of computable structures (Q2655143) (← links)
- Degree spectra of intrinsically c. e. relations (Q2747697) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- Stability of representations of effective partial algebras (Q2996232) (← links)
- Computable categoricity of trees of finite height (Q3370760) (← links)
- 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups (Q3576068) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- Index Sets of Constructive Models that are Autostable Under Strong Constructivizations (Q5741335) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
- Friedberg numberings in the Ershov hierarchy (Q5919177) (← links)
- Automatic presentations of structures (Q6064290) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Decidable categoricity spectra for almost prime models (Q6597843) (← links)
- Degrees of categoricity and treeable degrees (Q6649852) (← links)
