Axiomatizable Theory: Proving T is Axiomatizable

  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Theory
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
Dragonfall
Messages
1,023
Reaction score
5

Homework Statement



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


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.
 
Physics news on Phys.org