Pages that link to "Item:Q2266708"
From MaRDI portal
The following pages link to All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate (Q2266708):
Displaying 6 items.
- Definability, decidability, complexity (Q1817073) (← links)
- Undecidable extensions of Skolem arithmetic (Q4212909) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- The Woods-Erdős conjecture for polynomial rings (Q5957920) (← links)
