A unified approach to the theory of normed structures - Part I: The single-sorted case
Résumé
We introduce the concept of a prenormed model of a particular kind of single-sorted finitary first-order theories, that we refer to as prealgebraic theories. These are characterized by a signature comprising, together with arbitrary function symbols, only relation symbols whose interpretation, in any possible model, is a preorder. The result is an abstract approach to the notion of norm and, consequently, to the theory of normed structures.
Fichier principal
S_Tringali-A_unified_approach_to_the_theory_of_normed_structures-Part_I-The_single-sorted_case.pdf (241.36 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)