Mathematics – Logic
Scientific paper
2008-01-02
Mathematics
Logic
41 pages
Scientific paper
We introduce orderings between total functions f,g: N -> N which refine the pointwise "up to a constant" ordering <=cte and also insure that f(x) is often much less thang(x). With such orderings, we prove a strong hierarchy theorem for Kolmogorov complexities obtained with jump oracles and/or Max or Min of partial recursive functions. We introduce a notion of second order conditional Kolmogorov complexity which yields a uniform bound for the "up to a constant" comparisons involved in the hierarchy theorem.
Ferbus-Zanda Marie
Grigorieff Serge
No associations
LandOfFree
Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities 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 Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-495923