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.