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

Berghammer Rudolf: On the characterization of the integers : the hidden function problem revisited. In: Acta cybernetica, (11) 1-2. pp. 85-96. (1993)

Előnézet

Cikk, tanulmány, mű cybernetica_011_numb_001_002_085-096.pdf Letöltés (772kB) | Előnézet

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

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	1993
Kötet:	11
Szám:	1-2
ISSN:	0324-721X
Oldalak:	pp. 85-96
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38496/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 95-96. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:26
Utolsó módosítás:	2022. jún. 13. 10:35
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12521

Bővebben:

Tétel nézet