The following pages link to (Q3218118):
Displayed 5 items.
- Investigation of binary spectra by explicit polynomial transformations of graphs (Q1318703) (← links)
- Definability, decidability, complexity (Q1817073) (← 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)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)