Mapping Sets and Hypersets into Numbers

Giovanna D’Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru Ioan Tomescu

Research output: Contribution to journalArticleScientificpeer-review

Abstract

We introduce and prove the basic properties of encodings that generalize to non-well-founded hereditarily finite sets the bijection defined by Ackermann in 1937 between hereditarily finite sets and natural numbers.
Original languageEnglish
JournalFundamenta Informaticae
Volume140
Issue number3-4
Pages (from-to)307-328
Number of pages22
ISSN0169-2968
DOIs
Publication statusPublished - 14 Sep 2015
MoE publication typeA1 Journal article-refereed

Fields of Science

  • 113 Computer and information sciences

Cite this

D’Agostino, G., Omodeo, E. G., Policriti, A., & Tomescu, A. I. (2015). Mapping Sets and Hypersets into Numbers. Fundamenta Informaticae, 140(3-4), 307-328. https://doi.org/10.3233/FI-2015-1256
D’Agostino, Giovanna ; Omodeo, Eugenio G. ; Policriti, Alberto ; Tomescu, Alexandru Ioan. / Mapping Sets and Hypersets into Numbers. In: Fundamenta Informaticae. 2015 ; Vol. 140, No. 3-4. pp. 307-328.
@article{43671343e9514d64baf2d1ac05e1c210,
title = "Mapping Sets and Hypersets into Numbers",
abstract = "We introduce and prove the basic properties of encodings that generalize to non-well-founded hereditarily finite sets the bijection defined by Ackermann in 1937 between hereditarily finite sets and natural numbers.",
keywords = "113 Computer and information sciences",
author = "Giovanna D’Agostino and Omodeo, {Eugenio G.} and Alberto Policriti and Tomescu, {Alexandru Ioan}",
note = "140 (2015) : 3-4 is a Special Issue on the Italian Conference on Computational Logic: CILC 2013. Volume: Proceeding volume:",
year = "2015",
month = "9",
day = "14",
doi = "10.3233/FI-2015-1256",
language = "English",
volume = "140",
pages = "307--328",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS PRESS",
number = "3-4",

}

D’Agostino, G, Omodeo, EG, Policriti, A & Tomescu, AI 2015, 'Mapping Sets and Hypersets into Numbers', Fundamenta Informaticae, vol. 140, no. 3-4, pp. 307-328. https://doi.org/10.3233/FI-2015-1256

Mapping Sets and Hypersets into Numbers. / D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru Ioan.

In: Fundamenta Informaticae, Vol. 140, No. 3-4, 14.09.2015, p. 307-328.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Mapping Sets and Hypersets into Numbers

AU - D’Agostino, Giovanna

AU - Omodeo, Eugenio G.

AU - Policriti, Alberto

AU - Tomescu, Alexandru Ioan

N1 - 140 (2015) : 3-4 is a Special Issue on the Italian Conference on Computational Logic: CILC 2013. Volume: Proceeding volume:

PY - 2015/9/14

Y1 - 2015/9/14

N2 - We introduce and prove the basic properties of encodings that generalize to non-well-founded hereditarily finite sets the bijection defined by Ackermann in 1937 between hereditarily finite sets and natural numbers.

AB - We introduce and prove the basic properties of encodings that generalize to non-well-founded hereditarily finite sets the bijection defined by Ackermann in 1937 between hereditarily finite sets and natural numbers.

KW - 113 Computer and information sciences

U2 - 10.3233/FI-2015-1256

DO - 10.3233/FI-2015-1256

M3 - Article

VL - 140

SP - 307

EP - 328

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 3-4

ER -

D’Agostino G, Omodeo EG, Policriti A, Tomescu AI. Mapping Sets and Hypersets into Numbers. Fundamenta Informaticae. 2015 Sep 14;140(3-4):307-328. https://doi.org/10.3233/FI-2015-1256