A general construction of hyperuniverses

AbstractStructures exhibiting strong comprehension properties have been utilized in different fields of Mathematical Logic and Theoretical Computer Science. Although the techniques employed and the intended applications are quite different, these structures are essentially alike. Starting from a general definition of Hyperuniverse, we present here a comprehensive framework for investigating these structures. We also give a procedure for constructing Hyperuniverses which encompasses all known examples and provides many new non-ε-isomorphic and even nonhomeomorphic structures