Analysis in J_2

Details Analysis in J_2 Analysis in J_2

2005-09-11

arxiv.org/abs/math/0509245v2

Mathematics

Logic

31 pages

Scientific paper

This is an expository paper in which I explain how core mathematics, particularly abstract analysis, can be developed within a concrete countable set J_2 (the second set in Jensen's constructible hierarchy). The implication, well-known to proof theorists but probably not to most mainstream mathematicians, is that ordinary mathematical practice does not require an enigmatic metaphysical universe of sets. I go further and argue that J_2 is a superior setting for normal mathematics because it is free of irrelevant set-theoretic pathologies and permits stronger formulations of existence results.

Affiliated with

Also associated with

No associations

Rating

Analysis in J_2 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 Analysis in J_2, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analysis in J_2 will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-1896