scientific article; zbMATH DE number 221693
From MaRDI portal
Publication:4697160
zbMath0781.03004MaRDI QIDQ4697160
Denis Richard, Patrick Cégielski
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)
Related Items
A list of arithmetical structures complete with respect to the first-order definability ⋮ Definability, decidability, complexity
This page was built for publication: