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: 
OMODEO, EUGENIO
mostra contributor esterni 
Data di pubblicazione: 2015
Rivista: 
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.
Handle: http://hdl.handle.net/11368/2846753
Digital Object Identifier (DOI): 10.3233/FI-2015-1256
URL: http://www.iospress.nl/
Appare nelle tipologie:1.1 Articolo in Rivista

File in questo prodotto:
FileDescrizioneTipologiaLicenza 
DOPT.pdf PDF post-printPost-printDigital Rights Management non definitoAdministrator   Richiedi una copia
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11368/2846753
  • Citazioni
  • ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
©2014 University of Trieste dove siamo Privacy
Piazzale Europa,1 34127 Trieste, Italia - Tel. +39 040.558.7111 - P.IVA 00211830328 - C.F. 80013890324 - P.E.C.: ateneo@pec.units.it
 Copyright © 2020