Ultrametric spaces and logic programming

✍ Scribed by Sibylla Priess-Crampe; Paulo Ribenboim

• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 815 KB
• Volume: 42
• Category: Article
• ISSN: 0743-1066
• DOI: 10.1016/s0743-1066(99)00002-3

✦ Synopsis

In this paper we prove a very general multivalued fixed point theorem for ultrametric spaces which at the same time is a generalization of the multivalued fixed point theorem of Khamsi et al. for generalized metric spaces and our (singlevalued) fixed point theorem for ultrametric spaces. We use this latter fixed point theorem to obtain a criterion for the existence of a Herbrand model for a program.