Pages that link to "Item:Q2655143"
From MaRDI portal
The following pages link to Degrees of categoricity of computable structures (Q2655143):
Displaying 50 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)
- On categoricity spectra for locally finite graphs (Q820480) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Finite computable dimension and degrees of categoricity (Q1616772) (← links)
- Degrees of autostability relative to strong constructivizations of graphs (Q1617974) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Computable bi-embeddable categoricity (Q1731326) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← 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)
- Punctual categoricity relative to a computable oracle (Q2030137) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- Punctual categoricity spectra of computably categorical structures (Q2055311) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Calculating the mind change complexity of learning algebraic structures (Q2104247) (← links)
- Computable procedures for fields (Q2117796) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- Strong degrees of categoricity and weak density (Q2211365) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- Analytic computable structure theory and \(L^p\)-spaces. II (Q2309503) (← links)
- Categorical linearly ordered structures (Q2311213) (← links)
- Degrees of bi-embeddable categoricity of equivalence structures (Q2312081) (← 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)
- Degrees of relative computable categoricity (Q2680583) (← 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)
- Degrees of categoricity of trees and the isomorphism problem (Q5108865) (← links)
- Degrees of and lowness for isometric isomorphism (Q5145850) (← 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)
