A Maximality Theorem for Continuous First Order Theories

DOI10.4467/20842589RM.22.005.16662MaRDI QIDQ5057120zbMATH OpenFDO

Authors Mary Leah Karker, Nathanael Ackerman

Publication date 15 December 2022

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4467/20842589RM.22.005.16662

zbMATH Keywords

continuous logicfirst order theoryLindström's theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Continuous model theory, model theory of metric structures (03C66) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 7184880
• Maximality of linear continuous logic
• scientific article; zbMATH DE number 3935021
• A proof of completeness for continuous first-order logic
• Lindström’s theorem, both syntax and semantics free

Cited in

(2)

• The Keisler order in continuous logic
• scientific article; zbMATH DE number 5630755 (Why is no real title available?)

This page was built for publication: A Maximality Theorem for Continuous First Order Theories

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