A sneak preview of proof theory of ordinals

Details A sneak preview of proof theory of ordinals A sneak preview of proof theory of ordinals

2011-02-03

arxiv.org/abs/1102.0596v1

Mathematics

Logic

Scientific paper

This talk is a sneak preview of the project, 'proof theory for theories of
ordinals'. Background, aims, survey and furture works on the project are given.
Subsystems of second order arithmetic are embedded in recursively large
ordinals and then the latter are analysed. We scarcely touch upon proof
theoretical matters.

Affiliated with

Also associated with

No associations

Rating

A sneak preview of proof theory of ordinals 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 A sneak preview of proof theory of ordinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A sneak preview of proof theory of ordinals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-427205