CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishWe 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/11390/1069229 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| DOPT.pdf | Documento in Pre-print |  | Open Access Visualizza/Apri |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11390/1069229
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020