Axiomatic Characterizations of Hyperuniverses and Applications

  • Marco Fortiy, Furio Honsellz
  • Published 1996


Hyperuniverses are topological structures exhibiting strong closure properties under formation of subsets. They have been used both in Computer Science, for giving denotational semantics a la Scott-de Bakker, and in Mathematical Logic, in order to show the consistency of set theories which do not abide by the \limitation of size" principle. We present… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.