Mathematics – Category Theory
Scientific paper
2008-09-29
Mathematics
Category Theory
Scientific paper
For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- we interprete here map codes, out of [A,B] say,into these maps "themselves", coming as elements ("names") within hom-Objects B^A. The interpretation (family) uses a Chain of Universal Objects U_n, one for each Order stratum with respect to "higher" Order of the Objects. Combined with closed, axiomatic evaluation, this interpretation family gives code-self-evaluation. Via the usual diagonal argument, Antinomie RICHARD then can be formalised within minimal higher Order (Cartesian closed) arithmetical theory, and yields this way inconsistency for all of its extensions, in particular for set theories as ZF, of the Elementary Theory of (higher Order) Topoi with Natural Numbers Object as considered by FREYD, as well as already for the Theory of Cartesian Closed Categories with NNO considered by LAMBEK and SCOTT.
Pfender Michael
No associations
LandOfFree
RCF3: Map-Code Interpretation via Closure 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 RCF3: Map-Code Interpretation via Closure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and RCF3: Map-Code Interpretation via Closure will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-49293