Abstract:We prove that the continuous function (Omega) over cap : 2 omega -> R that is defined via X bar right arrow Sigma(n) 2(-K(X up arrow n)) for all X is an element of 2(omega) is differentiable exactly at the Martin-Lof random reals with the derivative having value 0; that it is nowhere monotonic; and that integral(1)(0) (Omega) over cap (X) dX is a left-c.e. wtt-complete real having effective Hausdorff dimension 1/2. We further investigate the algorithmic properties of (Omega) over cap. For example, we show that the maximal value of (Omega) over cap must be random, the minimal valuemust be Turing complete, and that (Omega) over cap (X) circle plus X >= (T) empty set' for every X. We also obtain some machine-dependent results, including that for every epsilon > 0, there is a universal machine V such that (Omega) over cap (V) maps every real X having effective Hausdorff dimension greater than e to a real of effective Hausdorff dimension 0 with the property that X <=(tt) (Omega) over cap (V) (X); and that there is a real X and a universal machine V such that Omega(V) (X) is rational.

A Conditionally Cancellative Left-Continuous T-Norm is Not Necessarily Continuous

Norm Continuity for T>0 of Linear Operator Families

A Full-Invariant Theorem and Some Applications

The complexity of classifying continuous t-norms up to isomorphism

A Characterization of Norm Continuity of Propagators for Second Order Abstract Differential Equations

Anisotropic Best Τc -Approximation in Normed Spaces

New Constructions of T-Norms and T-Conorms on Bounded Lattices

General Characterizations on the Conditional Distributivity of Semi-T-operators over Uninorms

A new continuous t-norm and its application in fuzzy control

An Equivalent Condition for Continuous Maps of a Class of Continua to Have Zero Topological Entropy

CHAITIN’S Ω AS A CONTINUOUS FUNCTION

The weak dominance between t-norms and t-conorms revisited

Towards Absolutely Continuous Bernoulli Convolutions

Continuity of the non-convex play operator in the space of rectifiable curves

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Continuous evolution families

Towards an Effective Theory of Absolutely Continuous Measures

Completely distributive enriched categories are not always continuous

Uninorms on bounded lattices constructed by t-norms and t-subconorms

Equicontinuity of Maps on [0,1)

Strong completeness for the predicate logic of the continuous t-norms