Berghammer, Rudolf

English

In this paper the hidden function problem studied so far only for equational (e.g., in [9] and [ll]) or conditional equational (e.g., in [3]) 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

Berghammer Rudolf

University of Szeged

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

http://acta.bibl.u-szeged.hu/12521/1/cybernetica_011_numb_001_002_085-096.pdf

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

Abstract

Similar works

Full text

Available Versions

University of Szeged