Logo del repository
  1. Home
 
Opzioni

On generalised Ackermann encodings – the basis issue

Boscaratto S.
•
Omodeo E.
•
Policriti A.
2024
  • conference object

Abstract
In this paper, a generalised version Aβ of the celebrated Ackermann encoding of the hereditarily finite sets, aimed at assigning a real number also to each hereditarily finite hyperset and multiset, is studied. Such a mapping establishes a significant link between real numbers and the theories of such generalised notions of set, so that performing set-theoretic operations can be translated into their number-theoretic equivalent. By appropriately choosing a parameter β, both the Ackermann encoding and the less known map RA arise as special cases; a bijective encoding of a subuniverse of hereditarily finite multisets occurs whenever this parameter is chosen among natural numbers, while if it is taken transcendental and within a peculiar interval of the real positive line, then the function is surmised to ensure an injective mapping of both the aforementioned universes.
Archivio
https://hdl.handle.net/11368/3085218
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85200163634
https://ceur-ws.org/Vol-3733/
Diritti
open access
license:creative commons
license uri:http://creativecommons.org/licenses/by/4.0/
FVG url
https://arts.units.it/bitstream/11368/3085218/3/paper3.pdf
Soggetti
  • Ackermann encoding

  • hereditarily finite s...

  • hyperset

  • multiset

  • partition refinement

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback