Re: Provable in T?

From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
Date: Mon, 21 Aug 2006 19:49:03 +0300

MoeBlee wrote:

Rupert wrote:

Sigma-1-Induction Arithmetic.

Would you give the language and axioms for that?

The theory ISigma_1 is just Robinson arithmetic + induction for Sigma_1 formulas.

How does Sigma-1 induction arithmetic stand in comparison of strength
with PRA and with Robinson arithmetic?

ISigma_1 is stronger than PRA and Robinson arithmetic.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Follow-Ups:
- Re: Provable in T?
  - From: MoeBlee

References:
- Provable in T?
  - From: bargiax
- Re: Provable in T?
  - From: Aatu Koskensilta
- Re: Provable in T?
  - From: Newberry
- Re: Provable in T?
  - From: Aatu Koskensilta
- Re: Provable in T?
  - From: Newberry
- Re: Provable in T?
  - From: Rupert
- Re: Provable in T?
  - From: george
- Re: Provable in T?
  - From: Rupert
- Re: Provable in T?
  - From: george
- Re: Provable in T?
  - From: Rupert
- Re: Provable in T?
  - From: george
- Re: Provable in T?
  - From: Rupert
- Re: Provable in T?
  - From: MoeBlee

Prev by Date: Re: Provable in T?
Next by Date: Re: Provable in T?
Previous by thread: Re: Provable in T?
Next by thread: Re: Provable in T?
Index(es):
- Date
- Thread

Relevant Pages

Re: Tennenbaums theorem
... In general when dealing with countable models we can always assume the domain is N. ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.logic)
Re: continuum hypothesis and 0=1
... that the system of PM, at least in its simplified form, is consistent one ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)
Re: Goldbach Conjecture & the Foundation of First Order Logic.
... truth and falsity in case of Pi-1 sentences in the language of arithmetic? ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.logic)
Re: Dedekind Cuts, Fundamental Sequences: why?
... after a moment of reflection, surely come up with a dozen more yourself. ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)
Re: Some mad-sounding amateur claims
... to FLT which can be represented by a flat colored map needing more than ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)