Affordable Access

Publisher Website

Choice principles in hyperuniverses

Authors
Journal
Annals of Pure and Applied Logic
0168-0072
Publisher
Elsevier
Publication Date
Volume
77
Issue
1
Identifiers
DOI: 10.1016/0168-0072(95)00009-7
Disciplines
  • Mathematics

Abstract

Abstract It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle (GPC). The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles (e.g. the Selection Principle and the Ordering Principle) hold in Hyperuniverses. Hyperuniverses are structures which arose independently in Non-well-founded Set Theory and in Mathematical Semantics of Concurrent Programming Languages and are hitherto the only existing models of GPC. Hyperuniverses are naturally endowed with a κ-compact uniform κ-topology and are uniformly isomorphic to their exponential space, i.e. the space of their closed subsets endowed with the Exponential Uniformity.

There are no comments yet on this publication. Be the first to share your thoughts.