Mathematics – Logic
Scientific paper
2006-05-04
Mathematics
Logic
23 pages; new results and references
Scientific paper
We define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we conjecture it to be complete for second order arithmetic. A statement is constructively true iff it is realized by a constructive function under continuous function realizability.
No associations
LandOfFree
Constructive Mathematical Truth 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 Constructive Mathematical Truth, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructive Mathematical Truth will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-300016