Publications in refereed journals

Published 2004-2005 | Ealier Publications | To Appear

Ealier Publications

1. ‘More on Cauchy nets in apartness spaces’ (L. Vîţă, D. Bridges), Scientiae Math. Japonicae 9, 375-380, 2003.

2. ‘A constructive version of Banach’s inverse mapping on F-spaces’ (H. Ishihara, L. Vîţă), CDMTS Research Report 277, Auckland, 2003.

3. ‘Strong and uniform continuity - the uniform space case’ (D. Bridges, L. Vîţă), London Math. Soc. Journal of Computation and Mathematics, 6, 326-334, 2003.

4. ‘Cauchy nets in uniform apartness spaces’ (D. Bridges, L. Vîţă), Revue Roumaine de Mathèmatiques Pures et Appliquèes, 48(5-6), 467-474, 2003.

5. ‘A proof-technique in uniform space theory’ (D. Bridges, L. Vîţă), Journal of Symbolic Logic, 68(3), 795-802, 2003.
   [download]

6. ‘On proximal convergence in uniform spaces’ (L. Vîţă) Math Logic Quarterly, 49(6), 550-552, 2003.

7. ‘Proximal and uniform convergence on apartness spaces’, (L. Vîţă) Math Logic Quarterly, 49(3), 255-259, 2003.
   [download]

8. ‘A constructive theory of point-set nearness’ (L. Vîţă, D. Bridges), in Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Conference in Dagstuhl, Germany, 4-9 June 2000; Springer Lecture Notes in Computer Science (R: Kopperman, M. B. Smyth, and D. Spreen eds.), 305(1-3), 473-489, 2003.
   [download]

9. ‘Strong versus uniform continuity: a constructive round’ (P. Schuster, L. Vîţă, D. Bridges), Quaestionaes Mathematicae, 26, 171-190, 2003.

10. ‘Locating subsets of a normed space’ (H. Ishihara, L. Vîţă), Proc. AMS, 131(10), 3231-3239, 2003.
    [download]

11. ‘Apartness spaces as a framework for constructive topology’ (D. Bridges, L. Vîţă), Annals of Pure and Appl. Logic, 119, 61-83, 2003.
    [download]

12. ‘Apartness, topology, and uniformity: a constructive view’ (D. Bridges, P. Schuster, L. Vîţă), CCA’01 Dagstuhl Seminar, Germany, November 2001, Math Logic Quarterly 28, Suppl. 1, 16-28, 2002.
    [download]

13. ‘Cauchy nets in the constructive theory of apartness spaces’ (D. Bridges, L. Vîţă), Scientiae Math. Japonicae 56, No.1, 123-132, 2002.
    [download]

14. ‘Embedding a linear subset of B (H ) in the dual of its predual’ (L. Vîţă), in Proceedings of the Symposium Reuniting the Antipodes-Constructive and Nonstandard Views of the Continuum, (U. Berger, H. Osswald, and P. Schuster ed.), San Servolo, Venice, Italy, 17-22 May 1999, Synthèse Library by Kluwer Academic Publishers, 55-61, 2001.

15. ‘Characterizing near continuity constructively’ (D. Bridges, L. Vîţă), Math. Logic Quarterly, 47(4), 535-538, 2001.
    [download]

16. ‘Apartness spaces-a constructive approach’ (D. Bridges, L. Vîţă), Extended abstract, Proceedings of 3^rd Panhellenic Logic Symposium, Anogia, Crete, July 2001.

17. ‘Apartness as a relation between subsets’ (P. Schuster, L. Vîţă, D. Bridges), in: Proceedings of The Third International Conference on Combinatorics, Computability and Logic, Constanta, Romania, (C.S. Calude, M.J. Dinneen, and S. Sburlan eds.), DMTCS, Springer, 203-214, 2001.

18. ‘Constructing extensions of ultraweakly continuous linear functionals’ (D. Bridges, L. Vîţă), Journal of Functional Analysis, 178(2), 421-434, 2000.
    [download]

19. ‘The weak-operator continuity of left multiplication’ (D. Bridges, L. Vîţă), Proc. Royal Netherlands Academy (Indag. Math.), 11(1), 39-42, 2000.
    [download]

20. ‘Constructive notes on uniform and locally convex spaces’ (L. Vîţă, D. Bridges), in: Proceedings of the 12^th International Symposium, FCT'99, Iasi, Romania, (G. Ciobanu and G. Paun eds.), Lecture Notes in Computer Science 1684, Springer-Verlag, Heidelberg, 195-203, 1999.

21. ‘Weak-continuity properties in constructive analysis’ (D. Bridges, L. Vîţă), JIGPL Logic J. 7(3), 277-281, 1999.

22. ‘Weak-operator continuity and the existence of adjoints’ (D. Bridges, L. Vîţă), Math. Logic Quarterly, 45, 203-206, 1999.

23. ‘Constructive notes on Minkowski functionals’ (L. Vîţă), Bulletin Mathèmatique de la Sociètè des Sciences Mathèmatiques de Roumanie 41(3-4), 171-180, 1998.

24. ‘Paradise lost or paradise regained?’ (D. Bridges, L. Vîţă), EATCS Bull. 63, 141-152, 1997.