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.
Titolo: | Mapping Sets and Hypersets into Numbers |
Autori: | |
Data di pubblicazione: | 2015 |
Rivista: | |
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. |
Handle: | http://hdl.handle.net/11368/2846753 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2015-1256 |
URL: | http://www.iospress.nl/ |
Appare nelle tipologie: | 1.1 Articolo in Rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
DOPT.pdf | PDF post-print | Bozza finale post-referaggio (post-print) | Digital Rights Management non definito | Administrator Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.