Browsing Artículos by Subject "Definability"

Now showing items 1-2 of 2

    • Algebraic functions in quasiprimal algebras 

      Campercholi, Miguel; Vaggione, Diego (2014)
      A function is algebraic on an algebra A if it can be implicitly defined by a system of equations on A. In this note we give a semantic characterization for algebraic functions on quasiprimal algebras. This characterization ...

    • Characterization, definability and separation via saturated models 

      Areces, Carlos Eduardo; Carreiro, Facundo; Figueira, Santiago (2014)
      Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ...