Mapping Sets and Hypersets into Numbers

DOI10.3233/FI-2015-1256zbMath1371.03060OpenAlexW2124875712MaRDI QIDQ3187011

Giovanna D'Agostino, Alexandru I. Tomescu, Alberto Policriti, Eugenio Giovanni Omodeo

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1256

zbMATH Keywords

bisimulationnon-well-founded setscomputable set theoryAckermann bijection

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Other set-theoretic hypotheses and axioms (03E65)

Related Items

Unnamed Item

This page was built for publication: Mapping Sets and Hypersets into Numbers