The following pages link to Turing computable embeddings (Q5422309):
Displaying 27 items.
- Comparing classes of finite sums (Q282120) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- The computable embedding problem (Q695798) (← links)
- Turing L-machines and recursive computability for L-maps (Q1263577) (← links)
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- Computable transformations of structures (Q2011638) (← links)
- Turing computable embeddings, computable infinitary equivalence, and linear orders (Q2011646) (← links)
- Computable embeddings for pairs of linear orders (Q2055305) (← links)
- A note on computable embeddings for ordinals and their reverses (Q2106587) (← links)
- Learning families of algebraic structures from informant (Q2216113) (← links)
- Using computability to measure complexity of algebraic structures and classes of structures (Q2263109) (← links)
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations (Q2364335) (← links)
- On functors enumerating structures (Q2403649) (← links)
- Terminal embeddings (Q2405893) (← links)
- Computable embeddings of classes of structures under enumeration and Turing operators (Q2412951) (← links)
- Learning algebraic structures with the help of Borel equivalence relations (Q2689445) (← links)
- 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) (← links)
- Equivalence Relations on Classes of Computable Structures (Q3576052) (← links)
- 2007-2008 Winter Meeting of the Association for Symbolic Logic (Q3616437) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
- Turing computable embeddings of equivalences other than isomorphism (Q5401521) (← links)
- Agreement reducibility (Q6047663) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Classes of algebraic structures (Q6147851) (← links)
- On learning for families of algebraic structures (Q6634990) (← links)
