Mathematics – Logic
Scientific paper
2006-12-09
Mathematics
Logic
Scientific paper
Let No be Conway's class of surreal numbers. I will make explicit the notion of a function f on No recursively defined over some family of functions. Under some "tameness" and uniformity condition, f must satisfy some interesting properties; in particular, the supremum of the class of element greater or equal to a fixed d in No is actually an element of No. For similar reasons, the concatenation function x:y cannot be defined recursively in a uniform way over polynomial functions.
No associations
LandOfFree
Recursive definitions on surreal numbers 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 Recursive definitions on surreal numbers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Recursive definitions on surreal numbers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-440629