The complexity space of a valued linearly ordered set

Electronic Notes in Theoretical Computer Science

Volumn 74, Issue , 2003, Pages 159-172

  Romaguera, S ^a   Sanchez Perez E A ^a   Valero, O ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Alphabet; Baire metric; Complexity space; Linearly ordered set; Positive monotone function; Smyth completion; Valuation; Weightable quasi metric

Indexed keywords

FUNCTIONS; METRIC SYSTEM; SET THEORY; TOPOLOGY;

ALPHABETS; BAIRE METRICS; COMPLEXITY SPACE; LINEARLY ORDERED SET; POSITIVE MONOTONE FUNCTIONS; SMYTH COMPLETION; VALUATION; WEIGHTABLE QUASI-METRIC;

COMPUTATIONAL COMPLEXITY;

EID: 23844510340     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (17)

1. G. Birkhoff, Lattice Theory, AMS Colloquium Publ. 25, Providence, Rhode Island, 1984.
2. A. Di Concilio, Spazi quasimetrici e topologie ad essi associate, Rend. Accad. Sci. Fis. Mat. Napoli 38 (1971), 113-130.
3. P. Fletcher, W.F. Lindgren, Quasi-Uniform Spaces, Marcel Dekker, 1982.
4. H.P.A. Künzi, Nonsymmetric topology, in: Proc. Colloquium on Topology, 1993, Szekszárd, Hungary, Colloq. Math. Soc. János Bolyai Math. Studies 4 (1995), 303-338.
5. H.P.A. Künzi, Nonsymmetric distances and their associated topologies: About the origins of basic ideas in the area of asymmetric topology, in: Handbook of the History of General Topology, ed. by C.E. Aull and R. Lowen, vol. 3, Kluwer, Dordrecht, 2001, pp. 853-968.
6. S.G. Matthews, Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Appl., Ann. New York Acad. Sci. 728 (1994), 183-197.
7. S.Oltra, S.Romaguera, E.A. Sánchez-Pérez, Bicompleting weightable quasimetric spaces and partial metric spaces, Rendiconti del Circolo Matematico di Palermo 51 (2002), 151-162.
8. I.L. Reilly, P.V. Subhrarnanyam and M.K. Vamanarnurthy, Cauchy sequences in quasi-pseudo-metric spaces, Monatsh. Math. 93 (1982), 127-140.
9. S. Romaguera, M. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999), 311-322.
10. S. Romaguera, M. Schellekens, Weightable quasi-metric semigroups and semilattices, Electronic Notes in Theoretical Comput. Sci. 40 (2001), URL: http://www.elsevier.nl/locate/entcs/volume40.html, 12 pages.
11. S. Romaguera, M. Schellekens, The quasi-metric of complexity convergence, Quaestiones Math. 23 (2000), 359-374.
12. S. Salbany, Bitopological Spaces, Compactifications and Completions, Math. Monographs Univ. Cape Town, no 1, 1974.
13. M. Schellekens, The Smyth completion: a common foundation for denotational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoretical Comput. Sci. 1 (1995), 211-232.
14. M. Schellekens, On upper weightable spaces, in: Proc. 11th Summer Conference on General Topology and Appl., Ann. New York Acad. Sci. 806 (1996), 348-363.
15. M. Schellekens, The correspondence between partial metric spaces and semivaluations, Theoretical Comput. Sci., to appear.
16. M.B. Smyth, Quasi-uniformities: Reconciling domains with metric spaces, in: Proc. MFPS 3, LNCS 298, M. Main et al. editors, Springer, Berlin 1988, 236-253.
17. M.B. Smyth, Totally bounded spaces and compact ordered spaces as domains of computation, in: Topology and Category Theory in Computer Science, ed. G.M. Reed, A.W. Roscoe and R.F. Wachter, Clarendon Press, Oxford 1991, 207-229.