Pages that link to "Item:Q5738191"
From MaRDI portal
The following pages link to COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191):
Displaying 30 items.
- Computable valued fields (Q1661672) (← links)
- Degree spectra of real closed fields (Q1734266) (← links)
- Computability of distributive lattices (Q1745078) (← 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)
- Degree spectra of structures (Q2036471) (← links)
- Model completeness and relative decidability (Q2042736) (← links)
- Computable embeddings for pairs of linear orders (Q2055305) (← links)
- A note on computable embeddings for ordinals and their reverses (Q2106587) (← links)
- Positive enumerable functors (Q2117801) (← links)
- Graphs are not universal for online computability (Q2186809) (← links)
- Spectral universality of linear orders with one binary relation (Q2191376) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Categorical linearly ordered structures (Q2311213) (← links)
- On functors enumerating structures (Q2403649) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- Torsion-free abelian groups with optimal Scott families (Q4565755) (← links)
- Some new computable structures of high rank (Q4636764) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS (Q4647104) (← links)
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS (Q5052017) (← links)
- THE TREE OF TUPLES OF A STRUCTURE (Q5070461) (← links)
- INTERPRETING A FIELD IN ITS HEISENBERG GROUP (Q5100059) (← links)
- Jump inversions of algebraic structures and Σ‐definability (Q5108844) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
