Back to Search Start Over

Mapping Sets and Hypersets into Numbers.

Authors :
D'Agostino, Giovanna
Policriti, Alberto
Omodeo, Eugenio G.
Tomescu, Alexandru I.
Source :
Fundamenta Informaticae; 2015, Vol. 140 Issue 3-4, p307-328, 22p
Publication Year :
2015

Abstract

We introduce and prove the basic properties of encodings that generalize to non-wellfounded hereditarily finite sets the bijection defined by Ackermann in 1937 between hereditarily finite sets and natural numbers. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
MATHEMATICAL mappings
SET theory
NATURAL numbers
BISIMULATION
BIJECTIONS
HYPERSETS

Details

Language :
English
ISSN :
01692968
Volume :
140
Issue :
3-4
Database :
Complementary Index
Journal :
Fundamenta Informaticae
Publication Type :
Academic Journal
Accession number :
112471169
Full Text :
https://doi.org/10.3233/FI-2015-1256
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details