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...

Full description

Saved in:
Bibliographic Details
Main Author: Berghammer Rudolf
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
LEADER 01196nab a2200217 i 4500
001 acta12521
005 20220613103555.0
008 161015s1993 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Berghammer Rudolf 
245 1 3 |a On the characterization of the integers   |h [elektronikus dokumentum] :  |b the hidden function problem revisited /  |c  Berghammer Rudolf 
260 |c 1993 
300 |a 85-96 
490 0 |a Acta cybernetica  |v 11 No. 1-2 
520 3 |a 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. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
856 4 0 |u http://acta.bibl.u-szeged.hu/12521/1/cybernetica_011_numb_001_002_085-096.pdf  |z Dokumentum-elérés