The following pages link to (Q3931264):
Displaying 27 items.
- Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations (Q282114) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Index sets for some classes of structures (Q1006610) (← links)
- Positive numerations of families with one-valued numerations (Q1062050) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Nonuniform autostability of models (Q1117216) (← links)
- Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Algorithmic dimensions of homomorphic images of models (Q1317614) (← links)
- Recursive unary algebras and trees (Q1326781) (← links)
- Structures computable in polynomial time. II (Q1644852) (← links)
- Algorithmic degree of unars (Q1825186) (← links)
- Nilpotent groups of finite algorithmic dimension (Q1825277) (← links)
- Non-density in punctual computability (Q2041959) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- \(\Sigma\)-presentations of the ordering on the reals (Q2342315) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- Constructivizable models with a linear structure of algebraic reducibility (Q2641295) (← links)
- Degrees of relative computable categoricity (Q2680583) (← links)
- Computable structures and operations on the space of continuous functions (Q2804293) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← 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)
