RCA0

From: djrt20@xxxxxxxxxx
Date: Sat, 29 Dec 2007 14:34:54 -0800 (PST)

The system RCA0 is central to "Reverse Mathematics". It can be proven
consistent in first order Peano arithmetic PA. But what happens if we
add the PA induction schema to RCA0? I was wondering what you would
get.
.

Follow-Ups:
- Re: RCA0
  - From: Rupert

Prev by Date: Re: The fallacy of strengthened liar's paradox.
Next by Date: Fine-tuning object 'relationship'
Previous by thread: an another question
Next by thread: Re: RCA0
Index(es):
- Date
- Thread