Recent content by zeberdee

  1. Z

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

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

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

    How do you prove the decidability of the empty theory and theory of linear orders?
See more