Pages that link to "Item:Q2655143"
From MaRDI portal
The following pages link to Degrees of categoricity of computable structures (Q2655143):
Displayed 30 items.
- Degrees that are not degrees of categoricity (Q306834) (← links)
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Effective algebraicity (Q1935364) (← links)
- Degrees of categoricity and the hyperarithmetic hierarchy (Q1949167) (← links)
- Simple structures with complex symmetry (Q1957352) (← links)
- Degrees of categoricity of rigid structures (Q2011647) (← links)
- Computability-theoretic properties of injection structures (Q2342300) (← links)
- Autostability spectra for Boolean algebras (Q2356086) (← links)
- Degrees of autostability relative to strong constructivizations for Boolean algebras (Q2364293) (← links)
- Degrees of categoricity vs. strong degrees of categoricity (Q2364297) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Effectively categorical abelian groups (Q2377433) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- A Note on Effective Categoricity for Linear Orderings (Q2988812) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION (Q4638977) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- Computable categoricity for algebraic fields with splitting algorithms (Q5246987) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)
- The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)
- Effective categoricity of computable linear orderings (Q5965136) (← links)