Completeness
Welcome to the Completeness discussion forum. In this forum, you may ask questions, start new discussions, and view existing posts. Click here to create a discussion account.
Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Ask a Question
Start new Discussion
Subscribe
| Subject | Replies | Date | |
|
I have to show that if (Phi, provable) can express L1 and L2 L1, then (Phi, provable) can express L2. | 0 | 10/2/2015 |