Hierarchies of Subsystems of Weak Arithmetic

Details Hierarchies of Subsystems of Weak Arithmetic Hierarchies of Subsystems of Weak Arithmetic

2010-03-10

arxiv.org/abs/1003.2117v2

Mathematics

Logic

To appear in Set theory, Arithmetic, Philosophy: Essays in Memory of Stanley Tennenbaum (edited by J. Kennedy and R. Kossak),

Scientific paper

We completely characterize the logical hierarchy of various subsystems of
weak arithmetic, namely: ZR, ZR + N, ZR + GCD, ZR + Bez, OI + N, OI + GCD, OI +
Bez.

Affiliated with

Also associated with

No associations

Rating

Hierarchies of Subsystems of Weak Arithmetic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Hierarchies of Subsystems of Weak Arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hierarchies of Subsystems of Weak Arithmetic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-342105