Publication:4697160
From MaRDI portal
zbMath0781.03004MaRDI QIDQ4697160
Denis Richard, Patrick Cégielski
Publication date: 29 June 1993
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Definability, decidability, complexity