Encodings of Sets and Hypersets


We will present some results and open problems on an extension of the Ackermann encoding of Hereditarily Finite Sets into Natural Numbers. In particular, we will introduce and discuss a simple modification of the above mentioned Ackermann encoding, that should naturally generalize from Hereditarily Finite Sets to Hereditarily Finite Hypersets.

Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013.