The following pages link to (Q4115143):
Displaying 9 items.
- Existential definability with bounds on archimedean valuations (Q4650261) (← links)
- (Q5087790) (← links)
- The equality problem for rational series with multiplicities in the tropical semiring is undecidable (Q5204310) (← links)
- Pragmatic Platonism (Q5214681) (← links)
- Some arithmetical restatements of the four color conjecture (Q5941259) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
- The Riemann hypothesis as the parity of special binomial coefficients (Q6132479) (← links)
- Model-theoretic aspects of unification (Q6169563) (← links)
- Decidability bounds for Presburger arithmetic extended by sine (Q6584959) (← links)