scientific article; zbMATH DE number 7184880

MaRDI QIDQ5221581zbMATH OpenFDO

Authors Xavier Caicedo

Publication date 2 April 2020

Mathematics Subject Classification ID

Many-valued logic (03B50) Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Maximality of linear continuous logic
• Maximality in modal logic
• Maximality of the minimal \(\mathcal R\)-logic
• Generalizations of the continuous logic
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• scientific article; zbMATH DE number 4010499
• Maximality of bi-intuitionistic propositional logic
• Continuum classes of logics
• On the maximality of logics with approximations
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS

Cited in

(16)

• A proof of completeness for continuous first-order logic
• A topos for continuous logic
• Algebraic closure in continuous logic
• Maximality and refutability
• Maximal-element rationalizability
• On elementary theories, the space of models, and \(D\)-limits
• On the maximality of logics with approximations
• Maximality of linear continuous logic
• Unbounded actions of metric groups and continuous logic
• Some properties of elementary theories and the space of models
• A note on Hjorth's oscillation theorem
• On perturbations of continuous structures
• Completeness for linear continuous logic
• ℵ₀‐categorical Banach spaces contain ℓp or c₀
• Two applications of topology to model theory
• CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS

This page was built for publication:

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