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 :
بازگشت