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.
Mapping Sets and Hypersets into Numbers
D'AGOSTINO, Giovanna;POLICRITI, Alberto;
2015-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
DOPT.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
525.9 kB
Formato
Adobe PDF
|
525.9 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
