Now showing items 1-1 of 1

    • Solving equations in the universe of hypersets 

      Pakkan, Müjdat (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 ...