Pages that link to "Item:Q4562439"
From MaRDI portal
The following pages link to There is no classification of the decidably presentable structures (Q4562439):
Displayed 6 items.
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- Model completeness and relative decidability (Q2042736) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- Constructing decidable graphs from decidable structures (Q2300933) (← links)
- Complexity of \(\Sigma^0_n\)-classifications for definable subsets (Q2700822) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)