On the characterization of the integers: The hidden function problem revisited

  R. Berghammer

Abstract:

  In this paper the hidden function problem studied so far only for equational (e.g., in [] and []) or conditional equational (e.g., in []) algebraic specifications is considered for arbitrary first-order theories. It is shown that a unique characterization of the integers with zero, successor and predecessor as term-generated model of a finite first-order theory needs at least one hidden function or relation.

 Keywords: Hidden function problem, algebraic specifications, first-order theories.

 Gyenizse Pal 1996. Szeptember 4. Szerda 13:25:22 MET DST