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
OMODEO, EUGENIO;
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 chiuso
Descrizione: PDF post-print
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Digital Rights Management non definito
Dimensione
525.71 kB
Formato
Adobe PDF
|
525.71 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
