| Subject: | Re: A question about FOL theories and models |
|---|---|
| From: | "MoeBlee" |
| Date: | 21 Aug 2006 10:17:45 -0700 |
| Newsgroups: | sci.logic |
Rupert wrote: > Z is stronger than n-order PA for all n. Z can prove that, for all n, > n-order PA is sound. ZF is much stronger still. Thanks. MoeBlee |
| Previous by Date: | Re: Dog Religion: Darwin's English Hound!, Matt Silberstein |
|---|---|
| Next by Date: | Re: Provable in T?, MoeBlee |
| Previous by Thread: | Re: A question about FOL theories and models, Rupert |
| Next by Thread: | Re: A question about FOL theories and models, George Dance |
| Indexes: | [Date] [Thread] [Top] [All Lists] |