We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The can be generally used to compare and classify various principles studied mathematics (formal Church's thesis, Brouwer's Continuity principle Fan theorem, Excluded middle, Limited principle, Function choice, Markov's etc.). show that the degrees f...

An extensive study of Fischer-Tropsch synthesis (FTS) on alumina-supported cobalt catalysts with different amounts of cobalt is reported. Up to 40 wt % of cobalt, is added to the catalysts by impregnation method. The effect of the cobalt loading on the reducibility of the cobalt oxide species, dispersion of the cobalt, average clusters size, water-gas shift (WGS) activity and activity and s...

We review and extend the results of [1] that give a condition for reducibility of quantum representations of mapping class groups constructed from Reshetikhin-Turaev type topological quantum field theories based on modular categories. This criterion is derived using methods developed to describe rational conformal field theories, making use of Frobenius algebras and their representations in mod...

We study the dynamics of the Forced Logistic Map in the cylinder. We compute a bifurcation diagram in terms of the dynamics of the attracting set. Different properties of the attracting set are considered, as the Lyapunov exponent and, in the case of having a periodic invariant curve, its period and its reducibility. This reveals that the parameter values for which the invariant curve doubles i...

Results 1) The average initial angle is: 28,19 (+-9,21) for thoracic, 28,11 (+-9,34) for thoraco-lumbar and 25,86 (+-7,04) for lumbar curves. 2) The angular reducibility is 54 % in braces for the thoracic curvatures, 69 % for the thoraco-lumbar curvatures and of 73 % for the lumbar curvatures, which corresponds to the usual results of the Lyon management. If we select curves of 30° and more the...