论文信息 - A predicative completion of a uniform space - 字舞流文

A predicative completion of a uniform space

We give a predicative construction of a completion of a uniform space in the constructive Zermelo-Fraenkel set theory.

Erik Palmgren | Peter Schuster | Hajime Ishihara | Josef Berger | P. Schuster | H. Ishihara | J. Berger | Erik Palmgren

[1] Douglas S. Bridges,et al. Apartness as a Relation Between Subsets , 2001, DMTCS.

[2] J. Paris,et al. The Type Theoretic Interpretation of Constructive Set Theory , 1978 .

[3] Douglas S. Bridges,et al. Strong and Uniform Continuity - the Uniform Space Case , 2003, LMS J. Comput. Math..

[4] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[5] Peter Aczel,et al. The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions , 1986 .

[6] John R. Myhill,et al. Constructive set theory , 1975, Journal of Symbolic Logic.

[7] G. Sambin. Intuitionistic Formal Spaces — A First Communication , 1987 .

[8] Giovanni Curi,et al. On the collection of points of a formal space , 2006, Ann. Pure Appl. Log..

[9] Hajime Ishihara. Two subcategories of apartness spaces , 2012, Ann. Pure Appl. Log..

[10] Giovanni Sambin,et al. Some points in formal topology , 2003, Theor. Comput. Sci..

[11] M. Beeson. Foundations of Constructive Mathematics , 1985 .

[12] D. Bridges,et al. Techniques of Constructive Analysis , 2006 .

[13] P. Aczel. The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles , 1982 .

[14] Peter Aczel,et al. Aspects of general topology in constructive set theory , 2006, Ann. Pure Appl. Log..