论文信息 - A constructive theory of point-set nearness - 字舞流文

A constructive theory of point-set nearness

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.

Douglas S. Bridges | Luminita Vîta | D. Bridges | L. Vîta

[1] Douglas S. Bridges,et al. Constructive Mathematics: A Foundation for Computable Analysis , 1999, Theor. Comput. Sci..

[2] Klaus Weihrauch. A Foundation for Computable Analysis , 1997, SOFSEM.

[3] Douglas S. Bridges,et al. A weak countable choice principle , 2000 .

[4] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[5] B. Kushner,et al. Lectures on Constructive Mathematical Analysis , 1984 .

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

[7] M. Dummett. Elements of Intuitionism , 2000 .

[8] Douglas S. Bridges,et al. Apartness spaces as a framework for constructive topology , 2003, Ann. Pure Appl. Log..

[9] Douglas S. Bridges,et al. Reality and Virtual Reality in Mathematics , 2002, Bull. EATCS.

[10] S. A. Naimpally,et al. Nearness — A Better Approach to Continuity and Limits , 1974 .

[11] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .

[12] Douglas S. Bridges,et al. A Constructive Look at the Real Number Line , 1994 .

[13] Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics , 1991, J. Symb. Log..

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

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