Pages that link to "Item:Q3478404"
From MaRDI portal
The following pages link to Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers (Q3478404):
Displaying 7 items.
- Definability, decidability, complexity (Q1817073) (← links)
- Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding) (Q1825869) (← links)
- On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
- Defining integer-valued functions in rings of continuous definable functions over a topological field (Q4988824) (← links)
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS (Q5195064) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Positive existential Definability with unit, addition and coprimeness (Q6666557) (← links)
