A finite order arithmetic foundation for cohomology

Details A finite order arithmetic foundation for cohomology A finite order arithmetic foundation for cohomology

2011-02-09

arxiv.org/abs/1102.1773v3

Mathematics

Logic

This version founds the entire Grothendieck tool kit at the strength of finite order arithmetic, strengthening the first versi

Scientific paper

Large-structure tools like toposes and derived categories in cohomology never
go far from arithmetic in practice, yet existing foundations for them are
stronger than ZFC. We formalize the practical insight by founding the entire
toolkit of EGA and SGA at the level of finite order arithmetic.

Affiliated with

Also associated with

No associations

Rating

A finite order arithmetic foundation for cohomology 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 finite order arithmetic foundation for cohomology, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A finite order arithmetic foundation for cohomology will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-649905