The following pages link to (Q3218118):
Displaying 9 items.
- Investigation of binary spectra by explicit polynomial transformations of graphs (Q1318703) (← links)
- 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)
- All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate (Q2266708) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- On ordering and multiplication of natural numbers (Q5928309) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Two theorems on units of orders (Q5954706) (← links)
