Recent content by zeberdee

  1. Z

    Proving Decidability of Empty Theory & Linear Orders

    By empty theory I mean the theory In the empty language ( ie no non logical symbols ) with no axioms.
  2. Z

    Proving Decidability of Empty Theory & Linear Orders

    How do you prove the decidability of the empty theory and theory of linear orders?
Back
Top