Pages that link to "Item:Q3376536"
From MaRDI portal
The following pages link to Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions (Q3376536):
Displaying 4 items.
- Reduction of unknowns in diophantine representations (Q1201599) (← links)
- Classification of Quantifier Prefixes Over Exponential Diophantine Equations (Q3710509) (← links)
- (Q3744223) (← links)
- Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories (Q4457733) (← links)