Publication:4763283
From MaRDI portal
zbMath0813.03006MaRDI QIDQ4763283
Publication date: 11 April 1995
undecidability; decidability; finite algebras; generalized Pascal triangles; extension of Presburger arithmetic
03B25: Decidability of theories and sets of sentences
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Theories of generalized Pascal triangles