Pages that link to "Item:Q3767330"
From MaRDI portal
The following pages link to Recursive categoricity and persistence (Q3767330):
Displaying 13 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- The index set of the groups autostable relative to strong constructivizations (Q2360262) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- An existence theorem for recursion categories (Q3211292) (← links)
- (Q3720582) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- A computably categorical structure whose expansion by a constant has infinite computable dimension (Q4650279) (← links)
- Simple confluently persistent catenable lists (Q5054848) (← links)
- (Q5185705) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)