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...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1993
|
| Sorozat: | Acta cybernetica
11 No. 1-2 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12521 |
| Tartalmi kivonat: | 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 85-96 |
| ISSN: | 0324-721X |