Algebraic closure in continuous logic

Algebraic closure in continuous logic

We study the algebraic closure construction for metric structures in the setting of continuous first order logic. We give several characterizations of algebraicity, and we prove basic properties analogous to ones that algebraic closure satisfies in classical first order logic.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Revista colombiana de matemáticas 2007-10, Vol.41 (suppl 1), p.279-285
Hauptverfasser: WARD HENSON, C., TÉLLEZ, HERNANDO
Format: Artikel
Sprache:por
Schlagworte:
MATHEMATICS
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study the algebraic closure construction for metric structures in the setting of continuous first order logic. We give several characterizations of algebraicity, and we prove basic properties analogous to ones that algebraic closure satisfies in classical first order logic.
ISSN:0034-7426