ERNA and Friedman's reverse mathematics

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting theories (see [12] and [13]). Here, we show that Weak Konig's lemma (WKL) and many of its equivalent formulations over RCA(0) from Reverse Mathematics (see [21] and [22]) can be 'pushed down' into the weak theory ERNA. while preserving the equivalences, but at the price of replacing equality with equality 'up to infinitesimals'. It turns out that ERNA plays the role of RCA(0) and that transfer for universal formulas corresponds to WKL

Huntington's disease: Psychological aspects of predictive testing

Predictive testing for Huntington's disease appears to have long lasting psychological effects. The predictive test for Huntington's disease (HD), a hereditary disease of the nervous system, was introduced in the Netherlands in the late eighties. As adverse consequences of the test were anticipated, the effects of testing were studied conscientiously. The general conclusions of these studies were that the negative effects of testing were limited and temporary. The positive consequences of testing seemed to outweigh the negative ones. Knowing if one carried the gene put an end to the unbearable uncertainty of becoming diseased in the future. Testing made it possible to make important decisions, such as concerning having children, pursuing further studies or buying a house. However, long-term investigation at the Leiden University Medical Centre (LUMC) now demonstrates that ten years after the test, when the first symptoms are likely to occur in the near future, the distress of carriers increases again. Strikingly, the current findings are based on a selection of psychologically more stable participants. Individuals who withdrew from the study directly after receiving an unfavourable test result reported (pre-test) considerably less well-being, a worse view of the future, and more evasive behaviour. It is expected that the psychological distress of these dropouts is even greater than that of the retained individuals. It is worrisome that these dropouts stay out of reach of further psychological counselling. Reinier Timman LUMC Centre for Human and Clinical Genetics, and dept. of NeurologyDe Open Ankh, Dtichting Dienstverlening GezondheidszorgUBL - phd migration 201

The Proceeding Of The 1st International Conference Technology on Biosciences and Social Science 2016: “Industry Based On Knowledges

The Proceeding Of The 1st International Conference Technology on Biosciences and Social Science 2016  Theme: “Industry Based On Knowledges” 17th– 19th November 2016, Convention Hall, Andalas University, Padang, West Sumatera, Indonesia Organized by  Animal Science Faculty of Andalas University and Alumbi Center of Universiti Putra Malaysia  &nbsp

Proceedings of the European Conference on Agricultural Engineering AgEng2021

This proceedings book results from the AgEng2021 Agricultural Engineering Conference under auspices of the European Society of Agricultural Engineers, held in an online format based on the University of Évora, Portugal, from 4 to 8 July 2021. This book contains the full papers of a selection of abstracts that were the base for the oral presentations and posters presented at the conference. Presentations were distributed in eleven thematic areas: Artificial Intelligence, data processing and management; Automation, robotics and sensor technology; Circular Economy; Education and Rural development; Energy and bioenergy; Integrated and sustainable Farming systems; New application technologies and mechanisation; Post-harvest technologies; Smart farming / Precision agriculture; Soil, land and water engineering; Sustainable production in Farm buildings

"Sisters of the Capital": White Women in Richmond, Virginia, 1860-1880

This dissertation examines the effects of the Civil War and Reconstruction on elite, middle-, and working-class white women in Richmond, Virginia. Anne Firer Scott has written that the Civil War was a historical watershed that enabled southern women's movement into broader social, economic, and political roles in southern society. Suzanne Lebsock and George Rable have observed that claims about white Southern women's gains must be measured against the conservatism of Southern society as the patriarchy reasserted itself in the postwar decades. This study addresses this historiographical debate by examining changes in white Richmond women's roles in the workforce, in organizational politics, and the churches. It also analyzes the war's impact on marriage and family relations. Civil War Richmond represented a two-edged sword to its white female population. As the Confederate capital, it provided them with employment opportunities that were impossible before the war began. By 1863, however, Richmond's population more than doubled as southerners emigrated to the city in search of work or to escape Union armies. This expanding population created extreme shortages in food and housing; it also triggered the largest bread riot in the confederacy. With Confederate defeat, many wartime occupations disappeared, although the need for work did not. Widespread postwar poverty led to the emergence of different occupations. Women had formed a number of charitable organizations before the war began. During the war, they developed new associations that stressed women's patriotism rather than their maternity. In the churches, women's wartime work led to the emergence of independent missionary associations that often were in conflict with male-dominated foreign mission boards. Although change occurred, this study concludes that white women's experiences of the Civil War and Reconstruction in Richmond, Virginia, were far more complex than Scott's notion of a historical watershed indicates. The wartime transformation in women's lives was often fraught with irony. Many changes were neither sought nor anticipated by Richmond women. Several came precisely as a direct result of Confederate defeat. Others tended to reinforce patriarchal notions about white women's subordinate status in Southern society