No More Posts Available.

No more pages to load.

    • Source: Strength (mathematical logic)

      • The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic



      α


      {\displaystyle \alpha }

      is said to be as strong as a logic



      β


      {\displaystyle \beta }

      if every elementary class in



      β


      {\displaystyle \beta }

      is an elementary class in



      α


      {\displaystyle \alpha }

      .


      See also


      Abstract logic
      Lindström's theorem


      References

    Kata Kunci Pencarian: