Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


Math Forum
»
User Profile: smail_@_PAMinf.ed.ac.uk
User Profile: smail_@_PAMinf.ed.ac.uk



User Profile for: smail_@_PAMinf.ed.ac.uk

UserID:

196093

Name:

Alan Smaill

Email:


Registered:

1/29/05

Total Posts:

757

Recent Messages

Discussion

Posted

1

Re: New axiom schema to PA

sci.math

May 5, 2014 8:17 AM

2

Re: New axiom schema to PA

sci.math

Apr 30, 2014 8:44 AM

3

Re: New axiom schema to PA

sci.math

Apr 29, 2014 3:53 PM

4

Re: New axiom schema to PA

sci.math

Apr 29, 2014 1:00 PM

5

Re: New axiom schema to PA

sci.math

Apr 29, 2014 5:46 AM

6

Re: New axiom schema to PA

sci.math

Apr 29, 2014 5:43 AM

7

Re: New axiom schema to PA

sci.math

Apr 28, 2014 3:43 PM

8

Re: New axiom schema to PA

sci.math

Apr 28, 2014 10:19 AM

9

Re: New axiom schema to PA

sci.math

Apr 28, 2014 9:15 AM

10

Re: The set of true sentences is not recursively enumerable

sci.math

Apr 8, 2014 7:58 AM

Show all user messages

