Definability in affine logic

DOI10.1007/S00153-025-00972-7MaRDI QIDQ6913902zbMATH OpenFDO

Authors Seyed Mohammad Bagheri

Publication date 17 October 2025

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00153-025-00972-7

zbMATH Keywords

definable setextremally saturated modelextreme typeKeisler measure

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40) Continuous model theory, model theory of metric structures (03C66) Convex sets in topological linear spaces; Choquet theory (46A55)

Cites work

• Convexity. An analytic viewpoint
• Extreme types and extremal models
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 3333596 (Why is no real title available?)
• Infinite dimensional analysis. A hitchhiker's guide.
• Linear model theory for Lipschitz structures
• Measure theory. Vol. 3. Measure algebras
• Model theory for metric structures
• Model theory.
• The isomorphism theorem for linear fragments of continuous logic

This page was built for publication: Definability in affine logic

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