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

algebraicitymetric structurescontinuous first-order logic

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)

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

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)