scientific article

zbMath0579.03043MaRDI QIDQ3701419

Denis Richard

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydefinable functionsdefinability of arithmetical operations and relations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Related Items (1)

On the maximal length of two sequences of consecutive integers with the same prime divisors

This page was built for publication: