Mapping Sets and Hypersets into Numbers
D'AGOSTINO, Giovanna
•
Omodeo, Eugenio G.
•
POLICRITI, Alberto
•
Tomescu, Alexandru I.
2015
Periodico
FUNDAMENTA INFORMATICAE
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.
DOI
WOS
Archivio
Diritti
open access
Soggetti