Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Axiomatizable Theory

  1. Apr 27, 2008 #1
    1. The problem statement, all variables and given/known data

    Suppose T is recursively enumerable. Show that T is actually axiomatizable (there is a recursive set P such that Theory of P = T).

    3. The attempt at a solution

    The converse of the question is easy to show, by using compactness. But I have no idea how to do this one.
  2. jcsd
  3. Apr 28, 2008 #2
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook