A unified approach to the theory of normed structures - Part I: The single-sorted case - Université Paris Cité Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

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
Vignette du fichier
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)

Dates et versions

hal-00696491 , version 1 (11-05-2012)
hal-00696491 , version 2 (14-05-2012)
hal-00696491 , version 3 (22-05-2012)

Identifiants

Citer

Salvatore Tringali. A unified approach to the theory of normed structures - Part I: The single-sorted case. 2012. ⟨hal-00696491v1⟩
98 Consultations
482 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More