We introduce a variant of Spector’s bar recursion (called “modified bar recursion”) in finite types to give a realizability interpretation of the classical axiom of countable choice allowing for the extraction of witnesses from proofs of Σ1 formulas in classical analysis. As a second application of modified bar recursion we present a bar recursive definition of the fan functional. Moreover, we ...

Transesterification of (+/-)-menthol using propionic acid anhydride and Candida rugosa lipase was performed in chloroform and water at different pressures (1, 10, 50, and 100 bar) to study the pressure dependence of enantioselectivity E. As a result, E significantly decreased with increasing pressure from E = 55 (1 bar) to E = 47 (10 bar), E = 37 (50 bar), and E = 9 (100 bar). To rationalize th...

A new route to cationic complexes of Mg, Ca, Sr and Ba with 18-membered ring O4S2, O4Se2 and O2S4 donor macrocycles from metal acetonitrile complexes with weakly coordinating [BAr(F)](-) anions is described. The precursors used were [M(MeCN)x][BAr(F)]2 (M = Mg, x = 6; M = Ca, x = 8) and [M'(acacH)(MeCN)5][BAr(F)]2 (M' = Sr or Ba). Reaction of these with the heterocrowns, [18]aneO4S2 (1,4,10,13-...

rapeseed cultivation in iran is growing rapidly while this product has been facing specific problems. every year a significant portion of edible oil is imported to the country from other countries. despite this deficit, a great amount of canola is being lost every year. therefore, in compliance with technical points, adding a suitable platform to the exisiting machineries may reduce the losses....