Now showing items 1-1 of 1
Solving equations in the universe of hypersets
(Bilkent University, 1993)
Hyperset Theory (a.k.a. ZFC~/AFA) of Peter Aczel is an enrichment of the classical ZFC set theory and uses a graphical representation for sets. By allowing non-well-founded sets, the theory provides an appropriate ...