论文信息 - Joins in the Frame of Nuclei

Joins in the Frame of Nuclei

Joins in the frame of nuclei are hard to describe explicitly because a pointwise join of a set of closure operators on a complete lattice fails to be idempotent in general. We calculate joins of nuclei as least fixed points of inflationary operators on prenuclei. Using a recent fixed-point theorem due to Pataraia, we deduce an induction principle for joins of nuclei. As an illustration of the technique, we offer a simple (and also intuitionistic) proof of the localic Hofmann–Mislove Theorem.

Martín Hötzel Escardó | M. Escardó

[1] Steven Vickers,et al. Constructive points of powerlocales , 1997, Mathematical Proceedings of the Cambridge Philosophical Society.

[2] Harold Simmons,et al. An algebraic version of Cantor-Bendixson analysis , 1982 .

[3] C. H. Dowker,et al. Quotient Frames and Subspaces , 1966 .

[4] Jan Paseka,et al. A direct proof of the Hofmann-Mislove theorem , 1994 .

[5] Harold Simmons,et al. Near-discreteness of modules and spaces as measured by Gabriel and Cantor , 1989 .

[6] P. T. Johnstone. Two notes on nuclei , 1990 .

[7] Bernhard Banaschewski,et al. Another look at the localic Tychonoff theorem , 1988 .

[8] John R. Isbell,et al. Atomless Parts of Spaces. , 1972 .

[9] J. T. Wilson. The Assembly Tower and Some Categorical and Algebraic Aspects of Frame Theory , 1994 .

[10] D. Macnab. Modal operators on Heyting algebras , 1981 .

[11] H. Escardo,et al. Preliminary Version On the compact-regular coreflection of a stably compact locale Mart́ın , 2001 .

[12] Michael W. Mislove,et al. Local compactness and continuous lattices , 1981 .

[13] Paul Taylor,et al. Practical Foundations of Mathematics , 1999, Cambridge studies in advanced mathematics.