Pages that link to "Item:Q5359574"

The following pages link to DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES (Q5359574):

Displaying 11 items.

• Decidability of extended theories of addition of the natural numbers and the integers (Q1071748) (← links)
• On expansions of \((\mathbf{Z},+,0)\) (Q2187266) (← links)
• Stability and sparsity in sets of natural numbers (Q2631895) (← links)
• The additive structure of integers with the lower Wythoff sequence (Q2700820) (← links)
• Irreducibles and Primes in Computable Integral Domains (Q2970963) (← links)
• (Q3001100) (← links)
• Prime models and almost decidability (Q3760506) (← links)
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984) (← links)
• THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE (Q5021918) (← links)
• A NEW DP-MINIMAL EXPANSION OF THE INTEGERS (Q5222527) (← links)
• Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence (Q6584962) (← links)