Three recrystallization technics were used to fractionate five commercial cholesterol products and one artificial mixture. One technic involved the recrystallization of cholesterol from absolute ethyl alcohol, the second technic involved the recrystallization of cholesterol from glacial acetic acid, and the third technic used the dibromide derivative method. The molar absorptivities for the var...

Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it easier to reason about program behaviour during transformation, but the lack of polymorphism reduces the expressiveness of the language. We present a System-F style core language that uses dependently kinded proof wi...

Given a large number N of copies of a qubit state of which we wish to estimate its purity, we prove that separable-measurement protocols can be as efficient as the optimal joint-measurement one if classical communication is used. This shows that the optimal estimation of the entanglement of a two-qubit state can also be achieved asymptotically with fully separable measurements. Thus, quantum me...

We emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedy’s notion of ‘formalism freeness’ in the context of various schools in model theory. Then we clarify some of the mathematical issues in recent discussions of purity in the proof of the Desargues proposi...

In the last 15 years NMR has become a reference technique for the determination of purity for organic standards containing NMR active nuclei [1, 2]. The puzzle proposed for this Analytical Challenge was focused on the use of 1H-NMR for the characterization of a phenylbutazone standard. Such material was purchased from Sigma-Aldrich and analyzed in parallel by HPLC-UV and 1H-NMR. Initially, appl...

Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion o...

In 1997 and 1998 we used samples of harvested grain to verify the possibility of distinguishing 14 winter wheat genotypes and six triticale genotypes and detecting the impurity on the basis of the detection of polymorphism of prolamin kernel proteins using the methods of the PAGE ISTA. On the basis of the identity index two sister prolamin lines with different percentage of participation, which...