Pages that link to "Item:Q1612482"
From MaRDI portal
The following pages link to Degree spectra and computable dimensions in algebraic structures (Q1612482):
Displaying 48 items.
- Computable structures and operations on the space of continuous functions (Q2804293) (← links)
- Limitwise monotonic sequences and degree spectra of structures (Q2845476) (← links)
- A directed graph of finite \(\Delta^0_{\alpha}\)-dimension (Q2885218) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- On Constructive Nilpotent Groups (Q2970967) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES (Q2976376) (← links)
- (Q3068301) (← links)
- Computability of Fraïssé limits (Q3083128) (← links)
- ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS (Q3094355) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- Computable categoricity of trees of finite height (Q3370760) (← links)
- The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length (Q3370768) (← links)
- Equivalence Relations on Classes of Computable Structures (Q3576052) (← links)
- Prime models of finite computable dimension (Q3616356) (← links)
- <i>d</i>-computable categoricity for algebraic fields (Q3655259) (← links)
- Algebraic aspects of the computably enumerable degrees. (Q4326308) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- There is no classification of the decidably presentable structures (Q4562439) (← links)
- Torsion-free abelian groups with optimal Scott families (Q4565755) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- A Friedberg enumeration of equivalence structures (Q4596664) (← links)
- Analytic computable structure theory and $L^p$ spaces (Q4615025) (← links)
- Some new computable structures of high rank (Q4636764) (← links)
- DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION (Q4638977) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS (Q4647104) (← links)
- A computably categorical structure whose expansion by a constant has infinite computable dimension (Q4650279) (← links)
- COPYING ONE OF A PAIR OF STRUCTURES (Q5100056) (← links)
- INTERPRETING A FIELD IN ITS HEISENBERG GROUP (Q5100059) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- Lowness for isomorphism, countable ideals, and computable traceability (Q5112396) (← links)
- Degrees of and lowness for isometric isomorphism (Q5145850) (← links)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- Categoricity properties for computable algebraic fields (Q5246988) (← links)
- Theory spectra and classes of theories (Q5267981) (← links)
- Turing degrees of nonabelian groups (Q5295123) (← links)
- Π<sub>1</sub><sup>1</sup> relations and paths through (Q5311742) (← links)
- (Q5393788) (← links)
- Spectra of theories and structures (Q5496464) (← links)
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS (Q5738187) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- Point Degree Spectra of Represented Spaces (Q5864311) (← links)
- The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)
- Categoricity and complexity of relations over algebraic structures (Q5965135) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)