×

A general construction of hyperuniverses. (English) Zbl 0871.68131

Summary: Structures 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-\(\varepsilon\)-isomorphic and even nonhomeomorphic structures.

MSC:

68Q99 Theory of computing
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abramsky, S., A Cook’s tour of finitary non-wellfounded sets (1988), unpublished manuscript
[2] Aczel, P., Non-wellfounded sets, CSLI Lecture Notes, 14 (1988), Stanford
[3] America, P.; Rutten, J. J.M. M., Solving domain equations in a category of complete metric spaces, J. Comput. Systems Sci., 39, 343-375 (1989) · Zbl 0717.18002
[4] Barwise, J.; Moss, L., Hypersets, Math. Intelligencer, 13, 31-41 (1991) · Zbl 0756.03026
[5] Boffa, M., Forcing et négation de l’axiome de fondement, Mem. Acad. Sc. Belg., XL, 7 (1972) · Zbl 0286.02068
[6] De Bakker, J. W.; Zucker, J. I., Processes and the denotational semantics of concurrency, Inform. Control, 54, 70-120 (1982) · Zbl 0508.68011
[7] Engelking, R., General Topology (1977), Warszawa
[8] Forti, M.; Hinnion, R., The consistency problem for positive comprehension principles, J. Symb. Logic, 54, 1401-1418 (1989) · Zbl 0702.03026
[9] Forti, M.; Honsell, F., Set theory with free construction principles, Annali Scuola Normale Sup. Pisa. Cl. Sci., 10, IV, 493-522 (1983) · Zbl 0541.03032
[10] Forti, M.; Honsell, F., Models of self-descriptive set theories, (Colombini, F.; etal., Partial Differential Equations and the Calculus of Variations —Essays in Honor of E. De Giorgi (1989), Birkhauser: Birkhauser Boston), 473-518
[11] Forti, M.; Honsell, F., Weak foundation and antifoundation properties of positively comprehensive hyperuniverses, (L’antifondation en logique et en théorie des ensembles. L’antifondation en logique et en théorie des ensembles, Cahiers du Centre de Logique 7 (1992)), 31-43, Louvain-la-Neuve
[12] M. Forti an F. Honsell, Characterizations of Hyperuniverses (to appear).; M. Forti an F. Honsell, Characterizations of Hyperuniverses (to appear). · Zbl 0871.68131
[13] Van Glabbeek, R.; Rutten, J. J.M. M., The Processes of De Bakker and Zucker represent bisimulation equivalence classes, (De Bakker, J. W., 25 Jaar Semantiek (1989), CWI: CWI Amsterdam), 243-246
[14] Malitz, R. J., Set theory in which the axiom of foundation fails, (Ph.D. Thesis (1976), UCLA)
[15] Michael, E., Topologies on spaces of subsets, Trans. Amer. Mat. Soc., 71, 152-183 (1951) · Zbl 0043.37902
[16] Mislove, M.; Moss, L.; Oles, F., Non-wellfounded sets modeled as ideal fixed points, Inform. Comput., 93, 16-54 (1991) · Zbl 0723.03031
[17] Rutten, J. J.M. M., Hereditarily-finite sets and complete metric spaces, (Tech. Report CS-R9148 (1991), Centre for Mathematics and Computer Science: Centre for Mathematics and Computer Science Amsterdam) · Zbl 0982.54029
[18] Weydert, E., How to approximate the naive comprehension scheme inside of classical logic, Bonner mathematische Schriften 194 (1989), Bonn · Zbl 0656.03029
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.