Generalized Ultrametric Semilattices of Linear Signals
Abstract
We consider certain spaces of linear signals equipped with a standard prefix relation and a suitably defined generalized distance function. We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and prove a representation theorem stating that every generalized ultrametric semilattice with a totally ordered distance set is isomorphic to a space of that kind. It follows that the formal definition of generalized ultrametric semilattices with totally ordered distance sets constitutes an axiomatization of the first-order theory of those spaces.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 23, 2014
- Accession Number
- ADA603640
Entities
People
- Edward A. Lee
- Eleftherios Matsikoudis
Organizations
- University of California, Berkeley