The Ackermann encoding and its siblings

DOI10.1093/LOGCOM/EXAF070MaRDI QIDQ6849514zbMATH OpenFDO

Authors Simone Boscaratto, Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Publication date 5 March 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

multisetshereditarily finite setshypersetsAckermann encoding

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Other classical set theory (including functions, relations, and set algebra) (03E20) Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: The Ackermann encoding and its siblings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6849514)