On the characterization of the integers the hidden function problem revisited /
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
1993
|
| Series: | Acta cybernetica
11 No. 1-2 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Subjects: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12521 |
| Summary: | 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. |
|---|---|
| Physical Description: | 85-96 |
| ISSN: | 0324-721X |