A Maximality Theorem for Continuous First Order Theories

DOI10.4467/20842589RM.22.005.16662MaRDI QIDQ5057120FDOQ5057120

Nathanael Ackerman, Mary Leah Karker

Publication date: 15 December 2022

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

zbMATH Keywords

continuous logicfirst order theoryLindström's theorem

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• The Keisler order in continuous logic

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)