Algebraic closure in continuous logic

MaRDI QIDQ3527629zbMATH OpenFDO

Authors C. Ward Henson, Hernando Tellez

Publication date 29 September 2008

Full work available at URL https://eudml.org/doc/129457

zbMATH Keywords

algebraicitycontinuous first-order logicmetric structures

Mathematics Subject Classification ID

Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Model theory for metric structures
• Algebraically closed structures in positive logic
• Continuous logic. Basic notions.
• A proof of completeness for continuous first-order logic
• scientific article; zbMATH DE number 7184880

Cited in

(8)

• Dynamic evaluation and algebraic closure in Axiom
• Algebraically closed structures in positive logic
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• The model theory of modules of a \(C^*\)-algebra
• CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
• Thorn-forking in continuous logic
• scientific article; zbMATH DE number 6287647 (Why is no real title available?)
• Punctually presented structures I: Closure theorems

This page was built for publication: Algebraic closure in continuous logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527629)