Abstract
I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.
Article PDF
Similar content being viewed by others
References
Aliprantis C.D., Burkinshaw O.: Positive Operators. Springer, Berlin (2006)
Bagheri S.M.: A Łoś type theorem for linear metric formulas. Math. Log. Q. 56(1), 78–84 (2010)
Bagheri S.M., Safari R.: Preservation theorems in linear continuous logic. Math. Log. Q. 60(3), 168–176 (2014)
Ben-Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. Model theory with Applications to Algebra and Analysis, vol. 2 (Zoe Chatzidakis, Dugald Macpherson, Anand Pillay, and Alex Wilkie, eds.), London Math Society Lecture Note Series, vol. 350, Cambridge University Press, pp. 315–427 (2008)
Berenstein A.: Definable subgroups of measure algebras. Math. Log. Q. 52(4), 367–374 (2006)
Berenstein, A., Ward Henson, C.: Model theory of probability spaces with an automorphism. arXiv:math/0405360v1(2004)
Bhaskara Rao K.P.S., Bhaskara Rao M.: Theory of Charges. Academic Press, USA (1983)
Chang C.C., Keisler H.J.: Continuous Model Theory. Princeton University Press, Princeton (1966)
Cleary J., Morris S., Yost D.: Numerical Geometry—Numbers for Shapes. Am. Math. Mon. 93, 260–275 (1987)
Marker D.: Model Theory: An Introduction. Springer, Berlin (2002)
Wickstead, A.W.: Affine functions on compact convex sets, internet file
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by a Grant from IPM, Grant No. 91030120.
Rights and permissions
About this article
Cite this article
Bagheri, SM. Linear model theory for Lipschitz structures. Arch. Math. Logic 53, 897–927 (2014). https://doi.org/10.1007/s00153-014-0395-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0395-6