论文信息 - A representation of stably compact spaces, and patch topology - 字舞流文

A representation of stably compact spaces, and patch topology

This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear).

Thierry Coquand | Guo-Qiang Zhang

[1] D. Scott. Completeness and axiomatizability in many-valued logic , 1974 .

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

[3] S. Buss,et al. Entailment relations and distributive lattices , 2000 .

[4] Martín Hötzel Escardó,et al. The regular-locally compact coreflection of a stably locally compact locale , 2001 .

[5] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .

[6] Thierry Coquand,et al. Sequents, Frames, and Completeness , 2000, CSL.

[7] J. A. Robinson,et al. The Generalized Resolution Principle , 1983 .

[8] Jean-Baptiste Lully,et al. The collected works , 1996 .