In applicative theories the recursion theorem provides a term rec which solves recursive equations. However, it is not provable that a solution obtained by rec is minimal. In the present paper we introduce an applicative theory in which it is possible to define a least fixed point operator. Still, our theory has a standard recursion theoretic interpretation.

HISTORICAL PERSPECTIVES AND SUMMARY ........................................... 229 REC BCD ENZYME ................................................................................. 231 REC A PROTEIN ..................................................................................... 234 Structure of recA Protein ....................................................................... 234 Basic ...

No recombination between plasmids was observed after conjugal transfer of a plasmid into a cell carrying another plasmid. Two types of such recombination took place after transformation, one type being Rec+ dependent and suggesting a preferred site of recombination. The other much rarer type was at least partially Rec+ independent.

BACKGROUND Maintaining tracheal integrity and restoring normal physiologic function after injury is complex. Some of the critical events in this process are deposition of a provisional extracellular matrix, tissue remodeling, and angiogenesis. These events are coordinated with epithelial migration and proliferation to restore the mucosal barrier. The ability of respiratory epithelial cells (REC...

The present study was performed to show the molecular identity of functionally characterized Mg transport pathways in rumen epithelial cells (REC) and to investigate the effects of extracellular [Mg] changes on their expression and activity. By using RT- PCR, Western blot, flow cytometry and immunocytochemistry, TRPM7, MagT1 and a Na+/Mg2+ exchanger were found in REC. Compared with control cond...

BACKGROUND Soccer is a form of exercise that induces inflammatory response, as well as an increase in free radicals potentially leading to muscle injury. Balanced nutritional intake provides important antioxidant vitamins, including vitamins A, C and E, which may assist in preventing exercise-related muscle damage. The purpose of the present study was to determine the effect of macro/micronutri...

Erroneous DNA repair by heterologous recombination (Ht-REC) is a potential threat to genome stability, but evidence supporting its prevalence is lacking. Here we demonstrate that recombination is possible between heterologous sequences and that it is a source of chromosomal alterations in mitotic and meiotic cells. Mechanistically, we find that the RTEL1 and HIM-6/BLM helicases and the BRCA1 ho...

Bin toxin from Bacillus sphaericus acts on Culex quinquefasciatus larvae by binding to Cqm1 midgut-bound receptors, and disruption of the cqm1 gene is the major cause of resistance. The goal of this work was to screen for a laboratory-selected resistance cqm1(REC) allele in field populations in the city of Recife, Brazil, and to describe other resistance-associated polymorphisms in the cqm1 gen...

Modified atmosphere package (MAP) was employed to store the perishable Chinese bayberry (Myrica rubra) at temperatures of 2 C, 8 C and 15 C. Electrolyte leakage from plasma could make the flesh collapse rapidly and appear to be unsavory, which may be evaluated in terms of relative electrical conductivity (REC). REC and gas composition in the headspace were measured during storage. The kinetic p...

We introduce a machine free mathematical framework to get a natural formalization of some general notions of infinite computation in the context of Kolmogorov complexity. Namely, the classes MaxX→D PR and MaxX→D Rec of functions X→ D which are pointwise maximum of partial or total computable sequences of functions where D = (D,<) is some computable partially ordered set. The enumeration theorem...