Pages that link to "Item:Q2266708"

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):

Displayed 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)