Mostrar el registro sencillo del ítem
dc.contributor.author | Romaguera Bonilla, Salvador![]() |
es_ES |
dc.contributor.author | Tirado Peláez, Pedro![]() |
es_ES |
dc.contributor.author | Valero Sierra, Óscar![]() |
es_ES |
dc.date.accessioned | 2015-02-09T10:51:53Z | |
dc.date.available | 2015-02-09T10:51:53Z | |
dc.date.issued | 2012 | |
dc.identifier.issn | 0020-7160 | |
dc.identifier.uri | http://hdl.handle.net/10251/46841 | |
dc.description.abstract | We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann [A computational model for metric spaces, Theoret. Comput. Sci. 193 (1998), pp. 53-73] and Heckmann [Approximation of metric spaces by partial metric spaces, Appl. Cat. Struct. 7 (1999), pp. 71-83] for metric spaces and improves a recent result of Romaguera and Valero [A quantitative computational model for complete partial metric spaces via formal balls, Math. Struct. Comput. Sci. 19 (2009), pp. 541-563], motivates a notion of a partially metrizable computational model which allows us to characterize those topological spaces that admit a compatible complete partial metric via this model. | es_ES |
dc.description.sponsorship | The authors acknowledge the support of the Spanish Ministry of Science and Innovation, under grant MTM2009-12872-C02-01. | en_EN |
dc.language | Inglés | es_ES |
dc.publisher | Taylor & Francis Ltd | es_ES |
dc.relation.ispartof | International Journal of Computer Mathematics | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Computational model | es_ES |
dc.subject | Complete partial metric | es_ES |
dc.subject | Domain | es_ES |
dc.subject | Formal ball | es_ES |
dc.subject | Scott topology | es_ES |
dc.subject.classification | MATEMATICA APLICADA | es_ES |
dc.title | Complete partial metric spaces have partially metrizable computational models | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1080/00207160.2011.559229 | |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//MTM2009-12872-C02-01/ES/Construccion De Casi-Metricas Fuzzy, De Distancias De Complejidad Y De Dominios Cuantitativos. Aplicaciones/ | |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada | es_ES |
dc.description.bibliographicCitation | Romaguera Bonilla, S.; Tirado Peláez, P.; Valero Sierra, Ó. (2012). Complete partial metric spaces have partially metrizable computational models. International Journal of Computer Mathematics. 89(3):284-290. https://doi.org/10.1080/00207160.2011.559229 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1080/00207160.2011.559229 | es_ES |
dc.description.upvformatpinicio | 284 | es_ES |
dc.description.upvformatpfin | 290 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 89 | es_ES |
dc.description.issue | 3 | es_ES |
dc.relation.senia | 229746 | |
dc.contributor.funder | Ministerio de Ciencia e Innovación | |
dc.description.references | ALI-AKBARI, M., HONARI, B., POURMAHDIAN, M., & REZAII, M. M. (2009). The space of formal balls and models of quasi-metric spaces. Mathematical Structures in Computer Science, 19(2), 337-355. doi:10.1017/s0960129509007439 | es_ES |
dc.description.references | Edalat, A., & Heckmann, R. (1998). A computational model for metric spaces. Theoretical Computer Science, 193(1-2), 53-73. doi:10.1016/s0304-3975(96)00243-5 | es_ES |
dc.description.references | Edalat, A., & Sünderhauf, P. (1999). Computable Banach spaces via domain theory. Theoretical Computer Science, 219(1-2), 169-184. doi:10.1016/s0304-3975(98)00288-6 | es_ES |
dc.description.references | Flagg, B., & Kopperman, R. (1997). Computational Models for Ultrametric Spaces. Electronic Notes in Theoretical Computer Science, 6, 151-159. doi:10.1016/s1571-0661(05)80164-1 | es_ES |
dc.description.references | Heckmann, R. (1999). Applied Categorical Structures, 7(1/2), 71-83. doi:10.1023/a:1008684018933 | es_ES |
dc.description.references | Kopperman, R., Künzi, H.-P. A., & Waszkiewicz, P. (2004). Bounded complete models of topological spaces. Topology and its Applications, 139(1-3), 285-297. doi:10.1016/j.topol.2003.12.001 | es_ES |
dc.description.references | Krötzsch, M. (2006). Generalized ultrametric spaces in quantitative domain theory. Theoretical Computer Science, 368(1-2), 30-49. doi:10.1016/j.tcs.2006.05.037 | es_ES |
dc.description.references | Künzi, H.-P. A. (2001). Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology. History of Topology, 853-968. doi:10.1007/978-94-017-0470-0_3 | es_ES |
dc.description.references | LAWSON, J. (1997). Spaces of maximal points. Mathematical Structures in Computer Science, 7(5), 543-555. doi:10.1017/s0960129597002363 | es_ES |
dc.description.references | Martin, K. (1998). Domain theoretic models of topological spaces. Electronic Notes in Theoretical Computer Science, 13, 173-181. doi:10.1016/s1571-0661(05)80221-x | es_ES |
dc.description.references | Matthews, S. G.Partial metric topology. Procedings of the 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994), pp. 183–197 | es_ES |
dc.description.references | Rodríguez-López, J., Romaguera, S., & Valero, O. (2008). Denotational semantics for programming languages, balanced quasi-metrics and fixed points. International Journal of Computer Mathematics, 85(3-4), 623-630. doi:10.1080/00207160701210653 | es_ES |
dc.description.references | Romaguera, S., & Valero, O. (2009). A quasi-metric computational model from modular functions on monoids. International Journal of Computer Mathematics, 86(10-11), 1668-1677. doi:10.1080/00207160802691652 | es_ES |
dc.description.references | ROMAGUERA, S., & VALERO, O. (2009). A quantitative computational model for complete partial metric spaces via formal balls. Mathematical Structures in Computer Science, 19(3), 541-563. doi:10.1017/s0960129509007671 | es_ES |
dc.description.references | ROMAGUERA, S., & VALERO, O. (2010). Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Mathematical Structures in Computer Science, 20(3), 453-472. doi:10.1017/s0960129510000010 | es_ES |
dc.description.references | Rutten, J. J. M. M. (1998). Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications, 89(1-2), 179-202. doi:10.1016/s0166-8641(97)00224-1 | es_ES |
dc.description.references | Schellekens, M. P. (2003). A characterization of partial metrizability: domains are quantifiable. Theoretical Computer Science, 305(1-3), 409-432. doi:10.1016/s0304-3975(02)00705-3 | es_ES |
dc.description.references | Smyth, M. B. (2006). The constructive maximal point space and partial metrizability. Annals of Pure and Applied Logic, 137(1-3), 360-379. doi:10.1016/j.apal.2005.05.032 | es_ES |
dc.description.references | Waszkiewicz, P. (2003). Applied Categorical Structures, 11(1), 41-67. doi:10.1023/a:1023012924892 | es_ES |
dc.description.references | WASZKIEWICZ, P. (2006). Partial metrisability of continuous posets. Mathematical Structures in Computer Science, 16(02), 359. doi:10.1017/s0960129506005196 | es_ES |