• Support PF! Buy your school textbooks, materials and every day products Here!

Axiomatizable Theory

  • Thread starter Dragonfall
  • Start date
1,028
4
1. 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).


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.
 

Answers and Replies

1,028
4
Anyone?
 

Related Threads for: Axiomatizable Theory

  • Last Post
Replies
0
Views
1K
Top