Title of article
Linear Formulas in Continuous Logic
Author/Authors
Bagheri ، S. M. Department of Pure Mathematics - Faculty of Mathematical Sciences - Tarbiat Modares University , Fadai ، F. Department of Pure Mathematics - Faculty of Mathematical Sciences - Tarbiat Modares University
From page
75
To page
86
Abstract
We prove that continuous sentences preserved by the ultra- mean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Con- tinuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linear n-sentences and pos- itive linear theories will be given.
Keywords
Continuous logic , Ultramean , Linear formula , Positive formula.
Journal title
Iranian Journal of Mathematical Sciences and Informatics (IJMSI)
Journal title
Iranian Journal of Mathematical Sciences and Informatics (IJMSI)
Record number
2726934
Link To Document