Spreads and choice in constructive mathematics

AbstractAn approach to choice-free mathematics using spreads: If constructing a point satisfying property P requires choice, replace this problem by that of constructing a nonempty set of elements satisfying P. Then construct a spread, without choice, whose elements satisfy P. The theory is developed and several examples are given

Residual Human Immunodeficiency Virus (HIV) Type 1 RNA and DNA in Lymph Nodes and HIV RNA in Genital Secretions and in Cerebrospinal Fluid after Suppression of Viremia for 2 Years

Residual viral replication persists in a significant proportion of human immunodeficiency virus (HIV)-infected patients receiving potent antiretroviral therapy. To determine the source of this virus, levels of HIV RNA and DNA from lymphoid tissues and levels of viral RNA in serum, cerebrospinal fluid (CSF), and genital secretions in 28 patients treated for ⩽2.5 years with indinavir, zidovudine, and lamivudine were examined. Both HIV RNA and DNA remained detectable in all lymph nodes. In contrast, HIV RNA was not detected in 20 of 23 genital secretions or in any of 13 CSF samples after 2 years of treatment. HIV envelope sequence data from plasma and lymph nodes from 4 patients demonstrated sequence divergence, which suggests varying degrees of residual viral replication in 3 and absence in 1 patient. In patients receiving potent antiretroviral therapy, the greatest virus burden may continue to be in lymphoid tissues rather than in central nervous system or genitourinary compartment

Treatment with indinavir, zidovudine, and lamivudine in adults with human immunodeficiency virus infection and prior antiretroviral therapy

Background: The new protease inhibitors are potent inhibitors of the human immunodeficiency virus (HIV), and in combination with other antiretroviral drugs they may be able to cause profound and sustained suppression of HIV replication. Methods: In this double-blind study, 97 HIV-infected patients who had received zidovudine treatment for at least 6 months and had 50 to 400 CD4 cells per cubic millimeter and at least 20,000 copies of HIV RNA per milliliter were randomly assigned to one of three treatments for up to 52 weeks: 800 mg of indinavir every eight hours; 200 mg of zidovudine every eight hours combined with 150 mg of lamivudine twice daily; or all three drugs. The patients were followed to monitor the occurrence of adverse events and changes in viral load and CD4 cell counts. Results: The decrease in HIV RNA over the first 24 weeks was greater in the three-drug group than in the other groups (P�0.001 for each comparison). RNA levels decreased to less than 500 copies per milliliter at week 24 in 28 of 31 patients in the threedrug group (90 percent), 12 of 28 patients in the indinavir group (43 percent), and none of 30 patients in the zidovudine–lamivudine group. The increase in CD4 cell counts over the first 24 weeks was greater in the two groups receiving indinavir than in the zidovudine– lamivudine group (P<0.01 for each comparison). The changes in the viral load and the CD4 cell count persisted for up to 52 weeks. All the regimens were generally well tolerated. Conclusions: In most HIV-infected patients with prior antiretroviral therapy, the combination of indinavir, zidovudine, and lamivudine reduces levels of HIV RNA to less than 500 copies per milliliter for as long as one year. (N Engl J Med 1997;337:734-9.

Catching Element Formation In The Act

Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-rays provide a unique probe of nuclear processes in astronomy, directly measuring radioactive decay, nuclear de-excitation, and positron annihilation. The substantial information carried by gamma-ray photons allows us to see deeper into these objects, the bulk of the power is often emitted at gamma-ray energies, and radioactivity provides a natural physical clock that adds unique information. New science will be driven by time-domain population studies at gamma-ray energies. This science is enabled by next-generation gamma-ray instruments with one to two orders of magnitude better sensitivity, larger sky coverage, and faster cadence than all previous gamma-ray instruments. This transformative capability permits: (a) the accurate identification of the gamma-ray emitting objects and correlations with observations taken at other wavelengths and with other messengers; (b) construction of new gamma-ray maps of the Milky Way and other nearby galaxies where extended regions are distinguished from point sources; and (c) considerable serendipitous science of scarce events -- nearby neutron star mergers, for example. Advances in technology push the performance of new gamma-ray instruments to address a wide set of astrophysical questions.Comment: 14 pages including 3 figure

Nonlinear Analysis of Motor Activity Shows Differences between Schizophrenia and Depression: A Study Using Fourier Analysis and Sample Entropy

The purpose of this study has been to describe motor activity data obtained by using wrist-worn actigraphs in patients with schizophrenia and major depression by the use of linear and non-linear methods of analysis. Different time frames were investigated, i.e., activity counts measured every minute for up to five hours and activity counts made hourly for up to two weeks. The results show that motor activity was lower in the schizophrenic patients and in patients with major depression, compared to controls. Using one minute intervals the depressed patients had a higher standard deviation (SD) compared to both the schizophrenic patients and the controls. The ratio between the root mean square successive differences (RMSSD) and SD was higher in the schizophrenic patients compared to controls. The Fourier analysis of the activity counts measured every minute showed that the relation between variance in the low and the high frequency range was lower in the schizophrenic patients compared to the controls. The sample entropy was higher in the schizophrenic patients compared to controls in the time series from the activity counts made every minute. The main conclusions of the study are that schizophrenic and depressive patients have distinctly different profiles of motor activity and that the results differ according to period length analysed

The Rsr1/Bud1 GTPase Interacts with Itself and the Cdc42 GTPase during Bud-Site Selection and Polarity Establishment in Budding Yeast

Bimolecular fluorescence complementation assays allow the visualization of the homotypic and heterotypic GTPase interactions in vivo. The Rsr1 homotypic interaction involves its polybasic region and depends on its GDP-GTP exchange factor. Dimerization of GTPases may be an efficient mechanism to set up cellular asymmetry