Pages that link to "Item:Q4638989"
From MaRDI portal
The following pages link to A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989):
Displaying 34 items.
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Preserving categoricity and complexity of relations (Q887644) (← links)
- Degree spectra of real closed fields (Q1734266) (← links)
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- Primitive recursive fields and categoricity (Q2011324) (← links)
- Computable transformations of structures (Q2011638) (← links)
- Categoricity spectra of computable structures (Q2036466) (← 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)
- Computable procedures for fields (Q2117796) (← 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)
- Constructing decidable graphs from decidable structures (Q2300933) (← links)
- \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes (Q2364332) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- On functors enumerating structures (Q2403649) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS (Q5052017) (← links)
- THE TREE OF TUPLES OF A STRUCTURE (Q5070461) (← 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)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS (Q5738187) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Classes of algebraic structures (Q6147851) (← links)
