• 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