22 results
93 Impact of Cardiovascular Risk on Cognitive and Brain Aging in Autosomal Dominant Frontotemporal Dementia
- Anna M VandeBunte, Emily W Paolillo, Hyunwoo Lee, Ging-Yuek Robin Hsiung, Adam Staffaroni, Shannon Y Lee, Carmela Tartaglia, Hilary Heur, Joel H Kramer, Brad Boeve, Adam Boxer, Howie Rosen, Kaitlin B Casaletto
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 29 / Issue s1 / November 2023
- Published online by Cambridge University Press:
- 21 December 2023, pp. 193-194
-
- Article
-
- You have access Access
- Export citation
-
Objective:
Poor cardiovascular health occurs with age and is associated with increased dementia risk, yet its impact on frontotemporal lobar degeneration (FTLD) and autosomal dominant neurodegenerative disease has not been well established. Examining cardiovascular risk in a population with high genetic vulnerability provides an opportunity to assess the impact of lifestyle factors on brain health outcomes. In the current study, we examined whether systemic vascular burden associates with accelerated cognitive and brain aging outcomes in genetic FTLD.
Participants and Methods:166 adults with autosomal dominant FTLD (C9orf72 n= 97; GRN n= 34; MAPT n= 35; 54% female; Mage = 47.9; Meducation = 15.6 years) enrolled in the Advancing Research and Treatment for Frontotemporal Lobar Degeneration (ARTFL) and Longitudinal Evaluation of Familial Frontotemporal Dementia Longitudinal FTD study (ALLFTD) were included. Participants completed neuroimaging and were screened for cardiovascular risk and functional impairment during a comprehensive neurobehavioral and medical interview. A vascular burden score (VBS) was created by summing vascular risk factors (VRS) [diabetes, hypertension, hyperlipidemia, and sleep apnea] and vascular diseases (VDS) [cerebrovascular disease (e.g., TIA, CVA), cardiac arrhythmia (e.g., atrial fibrillation, pacemaker, defibrillator), coronary artery disease (e.g., myocardial infarction, cardiac bypass, stent), and congestive heart failure] following a previously developed composite (range 0 to 8). We examined the interaction between each vascular health metric (VBS, VDS, VRS) and age (vascular health*age) on clinical severity (CDR plus NACC FTLD-SB), and white matter hyperintensity (WMH) volume outcomes, adjusting for age and sex. Vascular risk, disease, and overall burden scores were examined in separate models.
Results:There was a statistically significant interaction between total VBS and age on both clinical severity (ß=0.20, p=0.044) and WMH burden (ß=0.20, p=0.032). Mutation carriers with higher vascular burden evidenced worse clinical and WMH outcomes for their age. When breaking down the vascular burden score into (separate) vascular risk (VRS) and vascular disease (VDS) scores, the interaction between age and VRS remained significant only for WMH (ß=0.26, p=0.009), but not clinical severity (ß=0.04, p=0.685). On the other hand, the interaction between VDS and age remained significant only for clinical severity (ß=0.20, p=0.041) but not WMH (ß=0.17, p=0.066).
Conclusions:Our results demonstrate that systemic vascular burden is associated with an “accelerated aging” pattern on clinical and white matter outcomes in autosomal dominant FTLD. Specifically, mutation carriers with greater vascular burden show poorer neurobehavioral outcomes for their chronological age. When separating vascular risk from disease, risk was associated with higher age-related WMH burden, whereas disease was associated with poorer age-related clinical severity of mutation carriers. This pattern suggests preferential brain-related effects of vascular risk factors, while the functional impact of such factors may be more closely aligned with fulminant vascular disease. Our results suggest cardiovascular health may be an important, potentially modifiable risk factor to help mitigate the cognitive and behavioral disturbances associated with having a pathogenic variant of autosomal dominant FTLD. Future studies should continue to examine the neuropathological processes underlying the impact of cardiovascular risk in FTLD to inform more precise recommendations, particularly as it relates to lifestyle interventions.
The Irish Department of Finance, 1959–99. By Ciarán Casey. Pp 255. Dublin: Institute of Public Administration. 2022. €35 hardback.
- Robin Adams
-
- Journal:
- Irish Historical Studies / Volume 47 / Issue 172 / November 2023
- Published online by Cambridge University Press:
- 09 February 2024, pp. 351-352
- Print publication:
- November 2023
-
- Article
- Export citation
Business Creation and Political Turmoil: Ireland versus Scotland before 1900
- Robin J. C. Adams, Gareth Campbell, Christopher Coyle, John D. Turner
-
- Journal:
- Business History Review / Volume 96 / Issue 4 / Winter 2022
- Published online by Cambridge University Press:
- 08 February 2023, pp. 709-739
- Print publication:
- Winter 2022
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
What effect does political instability in the form of a potential secession from a political union have on business formation? Using newly collected data on business creation, we show that entrepreneurial activity in Ireland in the late nineteenth century was much lower than Scotland, and this divergence fluctuated over time. Several factors may have contributed to this, but we argue that political uncertainty about the prospect of a devolved government in Ireland played a role. The effects were most acute in the North of Ireland, the region that was most concerned by potential changes.
Long-term temporal trends in gastrointestinal parasite infection in wild Soay sheep
- Adam D. Hayward, Jerzy M. Behnke, Dylan Z. Childs, Yolanda Corripio-Miyar, Andy Fenton, Mariecia D. Fraser, Fiona Kenyon, Tom N. McNeilly, Robin J. Pakeman, Amy B. Pedersen, Josephine M. Pemberton, Amy R. Sweeny, Ken Wilson, Jill G. Pilkington
-
- Journal:
- Parasitology / Volume 149 / Issue 13 / November 2022
- Published online by Cambridge University Press:
- 02 September 2022, pp. 1749-1759
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Monitoring the prevalence and abundance of parasites over time is important for addressing their potential impact on host life histories, immunological profiles and their influence as a selective force. Only long-term ecological studies have the potential to shed light on both the temporal trends in infection prevalence and abundance and the drivers of such trends, because of their ability to dissect drivers that may be confounded over shorter time scales. Despite this, only a relatively small number of such studies exist. Here, we analysed changes in the prevalence and abundance of gastrointestinal parasites in the wild Soay sheep population of St. Kilda across 31 years. The host population density (PD) has increased across the study, and PD is known to increase parasite transmission, but we found that PD and year explained temporal variation in parasite prevalence and abundance independently. Prevalence of both strongyle nematodes and coccidian microparasites increased during the study, and this effect varied between lambs, yearlings and adults. Meanwhile, abundance of strongyles was more strongly linked to host PD than to temporal (yearly) dynamics, while abundance of coccidia showed a strong temporal trend without any influence of PD. Strikingly, coccidian abundance increased 3-fold across the course of the study in lambs, while increases in yearlings and adults were negligible. Our decades-long, intensive, individual-based study will enable the role of environmental change and selection pressures in driving these dynamics to be determined, potentially providing unparalleled insight into the drivers of temporal variation in parasite dynamics in the wild.
Impact of COVID-19 restrictions on alcohol consumption behaviours
- Emily O. C. Palmer, William Trender, Robin J. Tyacke, Adam Hampshire, Anne Lingford-Hughes
-
- Journal:
- BJPsych Open / Volume 7 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 14 September 2021, e167
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Background
We aimed to evaluate how coronavirus (COVID-19) restrictions had altered individual's drinking behaviours, including consumption, hangover experiences, and motivations to drink, and changing levels of depression and anxiety.
MethodWe conducted an online cross-sectional self-report survey. Whole group analysis compared pre- versus post-COVID restrictions. A correlation coefficient matrix evaluated the associations between all outcome scores. Self-report data was compared with Alcohol Use Disorders Identification Test (AUDIT) scores from the 2014 Adult Psychiatric Morbidity Survey. Multiple linear modelling (MLM) was calculated to identify factors associated with increasing AUDIT scores and post-restriction AUDIT scores.
ResultsIn total, 346 individuals completed the survey, of which 336 reported drinking and were therefore analysed. After COVID-19 restrictions 23.2% of respondents reported an increased AUDIT score, and 60.1% a decreased score. AUDIT score change was positively correlated with change in depression (P < 0.01, r = 0.15), anxiety (P < 0.01, r = 0.15) and drinking to cope scores (P < 0.0001, r = 0.35). MLM revealed that higher AUDIT scores were associated with age, mental illness, lack of a garden, self-employed or furloughed individuals, a confirmed COVID-19 diagnosis and smoking status.
ConclusionsCOVID-19 restrictions decreased alcohol consumption for the majority of individuals in this study. However, a small proportion increased their consumption; this related to drinking to cope and increased depression and anxiety.
Mental health before and during the COVID-19 pandemic in two longitudinal UK population cohorts
- Alex S. F. Kwong, Rebecca M. Pearson, Mark J. Adams, Kate Northstone, Kate Tilling, Daniel Smith, Chloe Fawns-Ritchie, Helen Bould, Naomi Warne, Stanley Zammit, David J. Gunnell, Paul A. Moran, Nadia Micali, Abraham Reichenberg, Matthew Hickman, Dheeraj Rai, Simon Haworth, Archie Campbell, Drew Altschul, Robin Flaig, Andrew M. McIntosh, Deborah A. Lawlor, David Porteous, Nicholas J. Timpson
-
- Journal:
- The British Journal of Psychiatry / Volume 218 / Issue 6 / June 2021
- Published online by Cambridge University Press:
- 24 November 2020, pp. 334-343
- Print publication:
- June 2021
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Background
The COVID-19 pandemic and mitigation measures are likely to have a marked effect on mental health. It is important to use longitudinal data to improve inferences.
AimsTo quantify the prevalence of depression, anxiety and mental well-being before and during the COVID-19 pandemic. Also, to identify groups at risk of depression and/or anxiety during the pandemic.
MethodData were from the Avon Longitudinal Study of Parents and Children (ALSPAC) index generation (n = 2850, mean age 28 years) and parent generation (n = 3720, mean age 59 years), and Generation Scotland (n = 4233, mean age 59 years). Depression was measured with the Short Mood and Feelings Questionnaire in ALSPAC and the Patient Health Questionnaire-9 in Generation Scotland. Anxiety and mental well-being were measured with the Generalised Anxiety Disorder Assessment-7 and the Short Warwick Edinburgh Mental Wellbeing Scale.
ResultsDepression during the pandemic was similar to pre-pandemic levels in the ALSPAC index generation, but those experiencing anxiety had almost doubled, at 24% (95% CI 23–26%) compared with a pre-pandemic level of 13% (95% CI 12–14%). In both studies, anxiety and depression during the pandemic was greater in younger members, women, those with pre-existing mental/physical health conditions and individuals in socioeconomic adversity, even when controlling for pre-pandemic anxiety and depression.
ConclusionsThese results provide evidence for increased anxiety in young people that is coincident with the pandemic. Specific groups are at elevated risk of depression and anxiety during the COVID-19 pandemic. This is important for planning current mental health provisions and for long-term impact beyond this pandemic.
Skepticism Motivated: On the Skeptical Import of Motivated Reasoning
- J. Adam Carter, Robin McKenna
-
- Journal:
- Canadian Journal of Philosophy / Volume 50 / Issue 6 / August 2020
- Published online by Cambridge University Press:
- 12 May 2020, pp. 702-718
-
- Article
- Export citation
-
Empirical work on motivated reasoning suggests that our judgments are influenced to a surprising extent by our wants, desires, and preferences (Kahan 2016; Lord, Ross, and Lepper 1979; Molden and Higgins 2012; Taber and Lodge 2006). How should we evaluate the epistemic status of beliefs formed through motivated reasoning? For example, are such beliefs epistemically justified? Are they candidates for knowledge? In liberal democracies, these questions are increasingly controversial as well as politically timely (Beebe et al. 2018; Lynch Forthcoming, 2018; Slothuus and de Vreese 2010). And yet, the epistemological significance of motivated reasoning has been almost entirely ignored by those working in mainstream epistemology. We aim to rectify this oversight. Using politically motivated reasoning as a case study, we show how motivated reasoning gives rise to three distinct kinds of skeptical challenges. We conclude by showing how the skeptical import of motivated reasoning has some important ramifications for how we should think about the demands of intellectual humility.
Education in Twins and Their Parents Across Birth Cohorts Over 100 years: An Individual-Level Pooled Analysis of 42-Twin Cohorts
- Karri Silventoinen, Aline Jelenkovic, Antti Latvala, Reijo Sund, Yoshie Yokoyama, Vilhelmina Ullemar, Catarina Almqvist, Catherine A. Derom, Robert F. Vlietinck, Ruth J. F. Loos, Christian Kandler, Chika Honda, Fujio Inui, Yoshinori Iwatani, Mikio Watanabe, Esther Rebato, Maria A. Stazi, Corrado Fagnani, Sonia Brescianini, Yoon-Mi Hur, Hoe-Uk Jeong, Tessa L. Cutler, John L. Hopper, Andreas Busjahn, Kimberly J. Saudino, Fuling Ji, Feng Ning, Zengchang Pang, Richard J. Rose, Markku Koskenvuo, Kauko Heikkilä, Wendy Cozen, Amie E. Hwang, Thomas M. Mack, Sisira H. Siribaddana, Matthew Hotopf, Athula Sumathipala, Fruhling Rijsdijk, Joohon Sung, Jina Kim, Jooyeon Lee, Sooji Lee, Tracy L. Nelson, Keith E. Whitfield, Qihua Tan, Dongfeng Zhang, Clare H. Llewellyn, Abigail Fisher, S. Alexandra Burt, Kelly L. Klump, Ariel Knafo-Noam, David Mankuta, Lior Abramson, Sarah E. Medland, Nicholas G. Martin, Grant W. Montgomery, Patrik K. E. Magnusson, Nancy L. Pedersen, Anna K. Dahl Aslan, Robin P. Corley, Brooke M. Huibregtse, Sevgi Y. Öncel, Fazil Aliev, Robert F. Krueger, Matt McGue, Shandell Pahlen, Gonneke Willemsen, Meike Bartels, Catharina E. M. van Beijsterveldt, Judy L. Silberg, Lindon J. Eaves, Hermine H. Maes, Jennifer R. Harris, Ingunn Brandt, Thomas S. Nilsen, Finn Rasmussen, Per Tynelius, Laura A. Baker, Catherine Tuvblad, Juan R. Ordoñana, Juan F. Sánchez-Romera, Lucia Colodro-Conde, Margaret Gatz, David A. Butler, Paul Lichtenstein, Jack H. Goldberg, K. Paige Harden, Elliot M. Tucker-Drob, Glen E. Duncan, Dedra Buchwald, Adam D. Tarnoki, David L. Tarnoki, Carol E. Franz, William S. Kremen, Michael J. Lyons, José A. Maia, Duarte L. Freitas, Eric Turkheimer, Thorkild I. A. Sørensen, Dorret I. Boomsma, Jaakko Kaprio
-
- Journal:
- Twin Research and Human Genetics / Volume 20 / Issue 5 / October 2017
- Published online by Cambridge University Press:
- 04 October 2017, pp. 395-405
-
- Article
-
- You have access Access
- HTML
- Export citation
-
Whether monozygotic (MZ) and dizygotic (DZ) twins differ from each other in a variety of phenotypes is important for genetic twin modeling and for inferences made from twin studies in general. We analyzed whether there were differences in individual, maternal and paternal education between MZ and DZ twins in a large pooled dataset. Information was gathered on individual education for 218,362 adult twins from 27 twin cohorts (53% females; 39% MZ twins), and on maternal and paternal education for 147,315 and 143,056 twins respectively, from 28 twin cohorts (52% females; 38% MZ twins). Together, we had information on individual or parental education from 42 twin cohorts representing 19 countries. The original education classifications were transformed to education years and analyzed using linear regression models. Overall, MZ males had 0.26 (95% CI [0.21, 0.31]) years and MZ females 0.17 (95% CI [0.12, 0.21]) years longer education than DZ twins. The zygosity difference became smaller in more recent birth cohorts for both males and females. Parental education was somewhat longer for fathers of DZ twins in cohorts born in 1990–1999 (0.16 years, 95% CI [0.08, 0.25]) and 2000 or later (0.11 years, 95% CI [0.00, 0.22]), compared with fathers of MZ twins. The results show that the years of both individual and parental education are largely similar in MZ and DZ twins. We suggest that the socio-economic differences between MZ and DZ twins are so small that inferences based upon genetic modeling of twin data are not affected.
Certified Crop Advisors’ Perceptions of Giant Ragweed (Ambrosia trifida) Distribution, Herbicide Resistance, and Management in the Corn Belt
- Emilie E. Regnier, S. Kent Harrison, Mark M. Loux, Christopher Holloman, Ramarao Venkatesh, Florian Diekmann, Robin Taylor, Robert A. Ford, David E. Stoltenberg, Robert G. Hartzler, Adam S. Davis, Brian J. Schutte, John Cardina, Kris J. Mahoney, William G. Johnson
-
- Journal:
- Weed Science / Volume 64 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 20 January 2017, pp. 361-377
-
- Article
-
- You have access Access
- Export citation
-
Giant ragweed has been increasing as a major weed of row crops in the last 30 yr, but quantitative data regarding its pattern and mechanisms of spread in crop fields are lacking. To address this gap, we conducted a Web-based survey of certified crop advisors in the U.S. Corn Belt and Ontario, Canada. Participants were asked questions regarding giant ragweed and crop production practices for the county of their choice. Responses were mapped and correlation analyses were conducted among the responses to determine factors associated with giant ragweed populations. Respondents rated giant ragweed as the most or one of the most difficult weeds to manage in 45% of 421 U.S. counties responding, and 57% of responding counties reported giant ragweed populations with herbicide resistance to acetolactate synthase inhibitors, glyphosate, or both herbicides. Results suggest that giant ragweed is increasing in crop fields outward from the east-central U.S. Corn Belt in most directions. Crop production practices associated with giant ragweed populations included minimum tillage, continuous soybean, and multiple-application herbicide programs; ecological factors included giant ragweed presence in noncrop edge habitats, early and prolonged emergence, and presence of the seed-burying common earthworm in crop fields. Managing giant ragweed in noncrop areas could reduce giant ragweed migration from noncrop habitats into crop fields and slow its spread. Where giant ragweed is already established in crop fields, including a more diverse combination of crop species, tillage practices, and herbicide sites of action will be critical to reduce populations, disrupt emergence patterns, and select against herbicide-resistant giant ragweed genotypes. Incorporation of a cereal grain into the crop rotation may help suppress early giant ragweed emergence and provide chemical or mechanical control options for late-emerging giant ragweed.
Zygosity Differences in Height and Body Mass Index of Twins From Infancy to Old Age: A Study of the CODATwins Project
- Aline Jelenkovic, Yoshie Yokoyama, Reijo Sund, Chika Honda, Leonie H Bogl, Sari Aaltonen, Fuling Ji, Feng Ning, Zengchang Pang, Juan R. Ordoñana, Juan F. Sánchez-Romera, Lucia Colodro-Conde, S. Alexandra Burt, Kelly L. Klump, Sarah E. Medland, Grant W. Montgomery, Christian Kandler, Tom A. McAdams, Thalia C. Eley, Alice M. Gregory, Kimberly J. Saudino, Lise Dubois, Michel Boivin, Adam D. Tarnoki, David L. Tarnoki, Claire M. A. Haworth, Robert Plomin, Sevgi Y. Öncel, Fazil Aliev, Maria A. Stazi, Corrado Fagnani, Cristina D’Ippolito, Jeffrey M. Craig, Richard Saffery, Sisira H. Siribaddana, Matthew Hotopf, Athula Sumathipala, Fruhling Rijsdijk, Timothy Spector, Massimo Mangino, Genevieve Lachance, Margaret Gatz, David A. Butler, Gombojav Bayasgalan, Danshiitsoodol Narandalai, Duarte L Freitas, José Antonio Maia, K. Paige Harden, Elliot M. Tucker-Drob, Bia Kim, Youngsook Chong, Changhee Hong, Hyun Jung Shin, Kaare Christensen, Axel Skytthe, Kirsten O. Kyvik, Catherine A. Derom, Robert F. Vlietinck, Ruth J. F. Loos, Wendy Cozen, Amie E. Hwang, Thomas M. Mack, Mingguang He, Xiaohu Ding, Billy Chang, Judy L. Silberg, Lindon J. Eaves, Hermine H. Maes, Tessa L. Cutler, John L. Hopper, Kelly Aujard, Patrik K. E. Magnusson, Nancy L. Pedersen, Anna K. Dahl Aslan, Yun-Mi Song, Sarah Yang, Kayoung Lee, Laura A. Baker, Catherine Tuvblad, Morten Bjerregaard-Andersen, Henning Beck-Nielsen, Morten Sodemann, Kauko Heikkilä, Qihua Tan, Dongfeng Zhang, Gary E. Swan, Ruth Krasnow, Kerry L. Jang, Ariel Knafo-Noam, David Mankuta, Lior Abramson, Paul Lichtenstein, Robert F. Krueger, Matt McGue, Shandell Pahlen, Per Tynelius, Glen E. Duncan, Dedra Buchwald, Robin P. Corley, Brooke M. Huibregtse, Tracy L. Nelson, Keith E. Whitfield, Carol E. Franz, William S. Kremen, Michael J. Lyons, Syuichi Ooki, Ingunn Brandt, Thomas Sevenius Nilsen, Fujio Inui, Mikio Watanabe, Meike Bartels, Toos C. E. M. van Beijsterveldt, Jane Wardle, Clare H. Llewellyn, Abigail Fisher, Esther Rebato, Nicholas G. Martin, Yoshinori Iwatani, Kazuo Hayakawa, Joohon Sung, Jennifer R. Harris, Gonneke Willemsen, Andreas Busjahn, Jack H. Goldberg, Finn Rasmussen, Yoon-Mi Hur, Dorret I. Boomsma, Thorkild I. A. Sørensen, Jaakko Kaprio, Karri Silventoinen
-
- Journal:
- Twin Research and Human Genetics / Volume 18 / Issue 5 / October 2015
- Published online by Cambridge University Press:
- 04 September 2015, pp. 557-570
-
- Article
-
- You have access Access
- HTML
- Export citation
-
A trend toward greater body size in dizygotic (DZ) than in monozygotic (MZ) twins has been suggested by some but not all studies, and this difference may also vary by age. We analyzed zygosity differences in mean values and variances of height and body mass index (BMI) among male and female twins from infancy to old age. Data were derived from an international database of 54 twin cohorts participating in the COllaborative project of Development of Anthropometrical measures in Twins (CODATwins), and included 842,951 height and BMI measurements from twins aged 1 to 102 years. The results showed that DZ twins were consistently taller than MZ twins, with differences of up to 2.0 cm in childhood and adolescence and up to 0.9 cm in adulthood. Similarly, a greater mean BMI of up to 0.3 kg/m2 in childhood and adolescence and up to 0.2 kg/m2 in adulthood was observed in DZ twins, although the pattern was less consistent. DZ twins presented up to 1.7% greater height and 1.9% greater BMI than MZ twins; these percentage differences were largest in middle and late childhood and decreased with age in both sexes. The variance of height was similar in MZ and DZ twins at most ages. In contrast, the variance of BMI was significantly higher in DZ than in MZ twins, particularly in childhood. In conclusion, DZ twins were generally taller and had greater BMI than MZ twins, but the differences decreased with age in both sexes.
The CODATwins Project: The Cohort Description of Collaborative Project of Development of Anthropometrical Measures in Twins to Study Macro-Environmental Variation in Genetic and Environmental Effects on Anthropometric Traits
- Karri Silventoinen, Aline Jelenkovic, Reijo Sund, Chika Honda, Sari Aaltonen, Yoshie Yokoyama, Adam D. Tarnoki, David L. Tarnoki, Feng Ning, Fuling Ji, Zengchang Pang, Juan R. Ordoñana, Juan F. Sánchez-Romera, Lucia Colodro-Conde, S. Alexandra Burt, Kelly L. Klump, Sarah E. Medland, Grant W. Montgomery, Christian Kandler, Tom A. McAdams, Thalia C. Eley, Alice M. Gregory, Kimberly J. Saudino, Lise Dubois, Michel Boivin, Claire M. A. Haworth, Robert Plomin, Sevgi Y. Öncel, Fazil Aliev, Maria A. Stazi, Corrado Fagnani, Cristina D’Ippolito, Jeffrey M. Craig, Richard Saffery, Sisira H. Siribaddana, Matthew Hotopf, Athula Sumathipala, Timothy Spector, Massimo Mangino, Genevieve Lachance, Margaret Gatz, David A. Butler, Gombojav Bayasgalan, Danshiitsoodol Narandalai, Duarte L. Freitas, José Antonio Maia, K. Paige Harden, Elliot M. Tucker-Drob, Kaare Christensen, Axel Skytthe, Kirsten O. Kyvik, Changhee Hong, Youngsook Chong, Catherine A. Derom, Robert F. Vlietinck, Ruth J. F. Loos, Wendy Cozen, Amie E. Hwang, Thomas M. Mack, Mingguang He, Xiaohu Ding, Billy Chang, Judy L. Silberg, Lindon J. Eaves, Hermine H. Maes, Tessa L. Cutler, John L. Hopper, Kelly Aujard, Patrik K. E. Magnusson, Nancy L. Pedersen, Anna K. Dahl Aslan, Yun-Mi Song, Sarah Yang, Kayoung Lee, Laura A. Baker, Catherine Tuvblad, Morten Bjerregaard-Andersen, Henning Beck-Nielsen, Morten Sodemann, Kauko Heikkilä, Qihua Tan, Dongfeng Zhang, Gary E. Swan, Ruth Krasnow, Kerry L. Jang, Ariel Knafo-Noam, David Mankuta, Lior Abramson, Paul Lichtenstein, Robert F. Krueger, Matt McGue, Shandell Pahlen, Per Tynelius, Glen E. Duncan, Dedra Buchwald, Robin P. Corley, Brooke M. Huibregtse, Tracy L. Nelson, Keith E. Whitfield, Carol E. Franz, William S. Kremen, Michael J. Lyons, Syuichi Ooki, Ingunn Brandt, Thomas Sevenius Nilsen, Fujio Inui, Mikio Watanabe, Meike Bartels, Toos C. E. M. van Beijsterveldt, Jane Wardle, Clare H. Llewellyn, Abigail Fisher, Esther Rebato, Nicholas G. Martin, Yoshinori Iwatani, Kazuo Hayakawa, Finn Rasmussen, Joohon Sung, Jennifer R. Harris, Gonneke Willemsen, Andreas Busjahn, Jack H. Goldberg, Dorret I. Boomsma, Yoon-Mi Hur, Thorkild I. A. Sørensen, Jaakko Kaprio
-
- Journal:
- Twin Research and Human Genetics / Volume 18 / Issue 4 / August 2015
- Published online by Cambridge University Press:
- 27 May 2015, pp. 348-360
-
- Article
-
- You have access Access
- HTML
- Export citation
-
For over 100 years, the genetics of human anthropometric traits has attracted scientific interest. In particular, height and body mass index (BMI, calculated as kg/m2) have been under intensive genetic research. However, it is still largely unknown whether and how heritability estimates vary between human populations. Opportunities to address this question have increased recently because of the establishment of many new twin cohorts and the increasing accumulation of data in established twin cohorts. We started a new research project to analyze systematically (1) the variation of heritability estimates of height, BMI and their trajectories over the life course between birth cohorts, ethnicities and countries, and (2) to study the effects of birth-related factors, education and smoking on these anthropometric traits and whether these effects vary between twin cohorts. We identified 67 twin projects, including both monozygotic (MZ) and dizygotic (DZ) twins, using various sources. We asked for individual level data on height and weight including repeated measurements, birth related traits, background variables, education and smoking. By the end of 2014, 48 projects participated. Together, we have 893,458 height and weight measures (52% females) from 434,723 twin individuals, including 201,192 complete twin pairs (40% monozygotic, 40% same-sex dizygotic and 20% opposite-sex dizygotic) representing 22 countries. This project demonstrates that large-scale international twin studies are feasible and can promote the use of existing data for novel research purposes.
Contributors
-
- By Mitchell Aboulafia, Frederick Adams, Marilyn McCord Adams, Robert M. Adams, Laird Addis, James W. Allard, David Allison, William P. Alston, Karl Ameriks, C. Anthony Anderson, David Leech Anderson, Lanier Anderson, Roger Ariew, David Armstrong, Denis G. Arnold, E. J. Ashworth, Margaret Atherton, Robin Attfield, Bruce Aune, Edward Wilson Averill, Jody Azzouni, Kent Bach, Andrew Bailey, Lynne Rudder Baker, Thomas R. Baldwin, Jon Barwise, George Bealer, William Bechtel, Lawrence C. Becker, Mark A. Bedau, Ernst Behler, José A. Benardete, Ermanno Bencivenga, Jan Berg, Michael Bergmann, Robert L. Bernasconi, Sven Bernecker, Bernard Berofsky, Rod Bertolet, Charles J. Beyer, Christian Beyer, Joseph Bien, Joseph Bien, Peg Birmingham, Ivan Boh, James Bohman, Daniel Bonevac, Laurence BonJour, William J. Bouwsma, Raymond D. Bradley, Myles Brand, Richard B. Brandt, Michael E. Bratman, Stephen E. Braude, Daniel Breazeale, Angela Breitenbach, Jason Bridges, David O. Brink, Gordon G. Brittan, Justin Broackes, Dan W. Brock, Aaron Bronfman, Jeffrey E. Brower, Bartosz Brozek, Anthony Brueckner, Jeffrey Bub, Lara Buchak, Otavio Bueno, Ann E. Bumpus, Robert W. Burch, John Burgess, Arthur W. Burks, Panayot Butchvarov, Robert E. Butts, Marina Bykova, Patrick Byrne, David Carr, Noël Carroll, Edward S. Casey, Victor Caston, Victor Caston, Albert Casullo, Robert L. Causey, Alan K. L. Chan, Ruth Chang, Deen K. Chatterjee, Andrew Chignell, Roderick M. Chisholm, Kelly J. Clark, E. J. Coffman, Robin Collins, Brian P. Copenhaver, John Corcoran, John Cottingham, Roger Crisp, Frederick J. Crosson, Antonio S. Cua, Phillip D. Cummins, Martin Curd, Adam Cureton, Andrew Cutrofello, Stephen Darwall, Paul Sheldon Davies, Wayne A. Davis, Timothy Joseph Day, Claudio de Almeida, Mario De Caro, Mario De Caro, John Deigh, C. F. Delaney, Daniel C. Dennett, Michael R. DePaul, Michael Detlefsen, Daniel Trent Devereux, Philip E. Devine, John M. Dillon, Martin C. Dillon, Robert DiSalle, Mary Domski, Alan Donagan, Paul Draper, Fred Dretske, Mircea Dumitru, Wilhelm Dupré, Gerald Dworkin, John Earman, Ellery Eells, Catherine Z. Elgin, Berent Enç, Ronald P. Endicott, Edward Erwin, John Etchemendy, C. Stephen Evans, Susan L. Feagin, Solomon Feferman, Richard Feldman, Arthur Fine, Maurice A. Finocchiaro, William FitzPatrick, Richard E. Flathman, Gvozden Flego, Richard Foley, Graeme Forbes, Rainer Forst, Malcolm R. Forster, Daniel Fouke, Patrick Francken, Samuel Freeman, Elizabeth Fricker, Miranda Fricker, Michael Friedman, Michael Fuerstein, Richard A. Fumerton, Alan Gabbey, Pieranna Garavaso, Daniel Garber, Jorge L. A. Garcia, Robert K. Garcia, Don Garrett, Philip Gasper, Gerald Gaus, Berys Gaut, Bernard Gert, Roger F. Gibson, Cody Gilmore, Carl Ginet, Alan H. Goldman, Alvin I. Goldman, Alfonso Gömez-Lobo, Lenn E. Goodman, Robert M. Gordon, Stefan Gosepath, Jorge J. E. Gracia, Daniel W. Graham, George A. Graham, Peter J. Graham, Richard E. Grandy, I. Grattan-Guinness, John Greco, Philip T. Grier, Nicholas Griffin, Nicholas Griffin, David A. Griffiths, Paul J. Griffiths, Stephen R. Grimm, Charles L. Griswold, Charles B. Guignon, Pete A. Y. Gunter, Dimitri Gutas, Gary Gutting, Paul Guyer, Kwame Gyekye, Oscar A. Haac, Raul Hakli, Raul Hakli, Michael Hallett, Edward C. Halper, Jean Hampton, R. James Hankinson, K. R. Hanley, Russell Hardin, Robert M. Harnish, William Harper, David Harrah, Kevin Hart, Ali Hasan, William Hasker, John Haugeland, Roger Hausheer, William Heald, Peter Heath, Richard Heck, John F. Heil, Vincent F. Hendricks, Stephen Hetherington, Francis Heylighen, Kathleen Marie Higgins, Risto Hilpinen, Harold T. Hodes, Joshua Hoffman, Alan Holland, Robert L. Holmes, Richard Holton, Brad W. Hooker, Terence E. Horgan, Tamara Horowitz, Paul Horwich, Vittorio Hösle, Paul Hoβfeld, Daniel Howard-Snyder, Frances Howard-Snyder, Anne Hudson, Deal W. Hudson, Carl A. Huffman, David L. Hull, Patricia Huntington, Thomas Hurka, Paul Hurley, Rosalind Hursthouse, Guillermo Hurtado, Ronald E. Hustwit, Sarah Hutton, Jonathan Jenkins Ichikawa, Harry A. Ide, David Ingram, Philip J. Ivanhoe, Alfred L. Ivry, Frank Jackson, Dale Jacquette, Joseph Jedwab, Richard Jeffrey, David Alan Johnson, Edward Johnson, Mark D. Jordan, Richard Joyce, Hwa Yol Jung, Robert Hillary Kane, Tomis Kapitan, Jacquelyn Ann K. Kegley, James A. Keller, Ralph Kennedy, Sergei Khoruzhii, Jaegwon Kim, Yersu Kim, Nathan L. King, Patricia Kitcher, Peter D. Klein, E. D. Klemke, Virginia Klenk, George L. Kline, Christian Klotz, Simo Knuuttila, Joseph J. Kockelmans, Konstantin Kolenda, Sebastian Tomasz Kołodziejczyk, Isaac Kramnick, Richard Kraut, Fred Kroon, Manfred Kuehn, Steven T. Kuhn, Henry E. Kyburg, John Lachs, Jennifer Lackey, Stephen E. Lahey, Andrea Lavazza, Thomas H. Leahey, Joo Heung Lee, Keith Lehrer, Dorothy Leland, Noah M. Lemos, Ernest LePore, Sarah-Jane Leslie, Isaac Levi, Andrew Levine, Alan E. Lewis, Daniel E. Little, Shu-hsien Liu, Shu-hsien Liu, Alan K. L. Chan, Brian Loar, Lawrence B. Lombard, John Longeway, Dominic McIver Lopes, Michael J. Loux, E. J. Lowe, Steven Luper, Eugene C. Luschei, William G. Lycan, David Lyons, David Macarthur, Danielle Macbeth, Scott MacDonald, Jacob L. Mackey, Louis H. Mackey, Penelope Mackie, Edward H. Madden, Penelope Maddy, G. B. Madison, Bernd Magnus, Pekka Mäkelä, Rudolf A. Makkreel, David Manley, William E. Mann (W.E.M.), Vladimir Marchenkov, Peter Markie, Jean-Pierre Marquis, Ausonio Marras, Mike W. Martin, A. P. Martinich, William L. McBride, David McCabe, Storrs McCall, Hugh J. McCann, Robert N. McCauley, John J. McDermott, Sarah McGrath, Ralph McInerny, Daniel J. McKaughan, Thomas McKay, Michael McKinsey, Brian P. McLaughlin, Ernan McMullin, Anthonie Meijers, Jack W. Meiland, William Jason Melanson, Alfred R. Mele, Joseph R. Mendola, Christopher Menzel, Michael J. Meyer, Christian B. Miller, David W. Miller, Peter Millican, Robert N. Minor, Phillip Mitsis, James A. Montmarquet, Michael S. Moore, Tim Moore, Benjamin Morison, Donald R. Morrison, Stephen J. Morse, Paul K. Moser, Alexander P. D. Mourelatos, Ian Mueller, James Bernard Murphy, Mark C. Murphy, Steven Nadler, Jan Narveson, Alan Nelson, Jerome Neu, Samuel Newlands, Kai Nielsen, Ilkka Niiniluoto, Carlos G. Noreña, Calvin G. Normore, David Fate Norton, Nikolaj Nottelmann, Donald Nute, David S. Oderberg, Steve Odin, Michael O’Rourke, Willard G. Oxtoby, Heinz Paetzold, George S. Pappas, Anthony J. Parel, Lydia Patton, R. P. Peerenboom, Francis Jeffry Pelletier, Adriaan T. Peperzak, Derk Pereboom, Jaroslav Peregrin, Glen Pettigrove, Philip Pettit, Edmund L. Pincoffs, Andrew Pinsent, Robert B. Pippin, Alvin Plantinga, Louis P. Pojman, Richard H. Popkin, John F. Post, Carl J. Posy, William J. Prior, Richard Purtill, Michael Quante, Philip L. Quinn, Philip L. Quinn, Elizabeth S. Radcliffe, Diana Raffman, Gerard Raulet, Stephen L. Read, Andrews Reath, Andrew Reisner, Nicholas Rescher, Henry S. Richardson, Robert C. Richardson, Thomas Ricketts, Wayne D. Riggs, Mark Roberts, Robert C. Roberts, Luke Robinson, Alexander Rosenberg, Gary Rosenkranz, Bernice Glatzer Rosenthal, Adina L. Roskies, William L. Rowe, T. M. Rudavsky, Michael Ruse, Bruce Russell, Lilly-Marlene Russow, Dan Ryder, R. M. Sainsbury, Joseph Salerno, Nathan Salmon, Wesley C. Salmon, Constantine Sandis, David H. Sanford, Marco Santambrogio, David Sapire, Ruth A. Saunders, Geoffrey Sayre-McCord, Charles Sayward, James P. Scanlan, Richard Schacht, Tamar Schapiro, Frederick F. Schmitt, Jerome B. Schneewind, Calvin O. Schrag, Alan D. Schrift, George F. Schumm, Jean-Loup Seban, David N. Sedley, Kenneth Seeskin, Krister Segerberg, Charlene Haddock Seigfried, Dennis M. Senchuk, James F. Sennett, William Lad Sessions, Stewart Shapiro, Tommie Shelby, Donald W. Sherburne, Christopher Shields, Roger A. Shiner, Sydney Shoemaker, Robert K. Shope, Kwong-loi Shun, Wilfried Sieg, A. John Simmons, Robert L. Simon, Marcus G. Singer, Georgette Sinkler, Walter Sinnott-Armstrong, Matti T. Sintonen, Lawrence Sklar, Brian Skyrms, Robert C. Sleigh, Michael Anthony Slote, Hans Sluga, Barry Smith, Michael Smith, Robin Smith, Robert Sokolowski, Robert C. Solomon, Marta Soniewicka, Philip Soper, Ernest Sosa, Nicholas Southwood, Paul Vincent Spade, T. L. S. Sprigge, Eric O. Springsted, George J. Stack, Rebecca Stangl, Jason Stanley, Florian Steinberger, Sören Stenlund, Christopher Stephens, James P. Sterba, Josef Stern, Matthias Steup, M. A. Stewart, Leopold Stubenberg, Edith Dudley Sulla, Frederick Suppe, Jere Paul Surber, David George Sussman, Sigrún Svavarsdóttir, Zeno G. Swijtink, Richard Swinburne, Charles C. Taliaferro, Robert B. Talisse, John Tasioulas, Paul Teller, Larry S. Temkin, Mark Textor, H. S. Thayer, Peter Thielke, Alan Thomas, Amie L. Thomasson, Katherine Thomson-Jones, Joshua C. Thurow, Vzalerie Tiberius, Terrence N. Tice, Paul Tidman, Mark C. Timmons, William Tolhurst, James E. Tomberlin, Rosemarie Tong, Lawrence Torcello, Kelly Trogdon, J. D. Trout, Robert E. Tully, Raimo Tuomela, John Turri, Martin M. Tweedale, Thomas Uebel, Jennifer Uleman, James Van Cleve, Harry van der Linden, Peter van Inwagen, Bryan W. Van Norden, René van Woudenberg, Donald Phillip Verene, Samantha Vice, Thomas Vinci, Donald Wayne Viney, Barbara Von Eckardt, Peter B. M. Vranas, Steven J. Wagner, William J. Wainwright, Paul E. Walker, Robert E. Wall, Craig Walton, Douglas Walton, Eric Watkins, Richard A. Watson, Michael V. Wedin, Rudolph H. Weingartner, Paul Weirich, Paul J. Weithman, Carl Wellman, Howard Wettstein, Samuel C. Wheeler, Stephen A. White, Jennifer Whiting, Edward R. Wierenga, Michael Williams, Fred Wilson, W. Kent Wilson, Kenneth P. Winkler, John F. Wippel, Jan Woleński, Allan B. Wolter, Nicholas P. Wolterstorff, Rega Wood, W. Jay Wood, Paul Woodruff, Alison Wylie, Gideon Yaffe, Takashi Yagisawa, Yutaka Yamamoto, Keith E. Yandell, Xiaomei Yang, Dean Zimmerman, Günter Zoller, Catherine Zuckert, Michael Zuckert, Jack A. Zupko (J.A.Z.)
- Edited by Robert Audi, University of Notre Dame, Indiana
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
P.E.H. Hair, 1926–2001
- David Henige, Adam Jones, Robin Law, Bruce Mouser, Konrad Tuchscherer, Selena Winsnes
-
- Journal:
- History in Africa / Volume 29 / 2002
- Published online by Cambridge University Press:
- 09 May 2014, pp. 1-13
-
- Article
- Export citation
Use of vitamin D supplements during infancy in an international feeding trial
- Eveliina Lehtonen, Anne Ormisson, Anita Nucci, David Cuthbertson, Susa Sorkio, Mila Hyytinen, Kirsi Alahuhta, Carol Berseth, Marja Salonen, Shayne Taback, Margaret Franciscus, Teba González-Frutos, Tuuli E Korhonen, Margaret L Lawson, Dorothy J Becker, Jeffrey P Krischer, Mikael Knip, Suvi M Virtanen, , Thomas Mandrup-Poulsen, Elias Arjas, Åke Lernmark, Barbara Schmidt, Jeffrey P. Krischer, Hans K. Åkerblom, Mila Hyytinen, Mikael Knip, Katriina Koski, Matti Koski, Eeva Pajakkala, Marja Salonen, David Cuthbertson, Jeffrey P. Krischer, Linda Shanker, Brenda Bradley, Hans-Michael Dosch, John Dupré, William Fraser, Margaret Lawson, Jeffrey L. Mahon, Mathew Sermer, Shayne P. Taback, Dorothy Becker, Margaret Franciscus, Anita Nucci, Jerry Palmer, Minna Pekkala, Suvi M. Virtanen, Jacki Catteau, Neville Howard, Patricia Crock, Maria Craig, Cheril L. Clarson, Lynda Bere, David Thompson, Daniel Metzger, Colleen Marshall, Jennifer Kwan, David K. Stephure, Daniele Pacaud, Wendy Schwarz, Rose Girgis, Marilyn Thompson, Shayne P. Taback, Daniel Catte, Margaret L. Lawson, Brenda Bradley, Denis Daneman, Mathew Sermer, Mary-Jean Martin, Valérie Morin, Lyne Frenette, Suzanne Ferland, Susan Sanderson, Kathy Heath, Céline Huot, Monique Gonthier, Maryse Thibeault, Laurent Legault, Diane Laforte, Elizabeth A. Cummings, Karen Scott, Tracey Bridger, Cheryl Crummell, Robyn Houlden, Adriana Breen, George Carson, Sheila Kelly, Koravangattu Sankaran, Marie Penner, Richard A. White, Nancy King, James Popkin, Laurie Robson, Eva Al Taji, Irena Aldhoon, Pavla Mendlova, Jan Vavrinec, Jan Vosahlo, Ludmila Brazdova, Jitrenka Venhacova, Petra Venhacova, Adam Cipra, Zdenka Tomsikova, Petra Krckova, Pavla Gogelova, Ülle Einberg, Mall-Anne Riikjärv, Anne Ormisson, Vallo Tillmann, Päivi Kleemola, Anna Parkkola, Heli Suomalainen, Anna-Liisa Järvenpää, Anu-Maaria Hämälainen, Hannu Haavisto, Sirpa Tenhola, Pentti Lautala, Pia Salonen, Susanna Aspholm, Heli Siljander, Carita Holm, Samuli Ylitalo, Raisa Lounamaa, Anja Nuuja, Timo Talvitie, Kaija Lindström, Hanna Huopio, Jouni Pesola, Riitta Veijola, Päivi Tapanainen, Abram Alar, Paavo Korpela, Marja-Liisa Käär, Taina Mustila, Ritva Virransalo, Päivi Nykänen, Bärbel Aschemeier, Thomas Danne, Olga Kordonouri, Dóra Krikovszky, László Madácsy, Yeganeh Manon Khazrai, Ernesto Maddaloni, Paolo Pozzilli, Carla Mannu, Marco Songini, Carine de Beaufort, Ulrike Schierloh, Jan Bruining, Margriet Bisschoff, Aleksander Basiak, Renata Wasikowa, Marta Ciechanowska, Grazyna Deja, Przemyslawa Jarosz-Chobot, Agnieszka Szadkowska, Katarzyna Cypryk, Malgorzata Zawodniak-Szalapska, Luis Castano, Teba Gonzalez Frutos, Mirentxu Oyarzabal, Manuel Serrano-Ríos, María Teresa Martínez-Larrad, Federico Gustavo Hawkins, Dolores Rodriguez Arnau, Johnny Ludvigsson, Malgorzata Smolinska Konefal, Ragnar Hanas, Bengt Lindblad, Nils-Osten Nilsson, Hans Fors, Maria Nordwall, Agne Lindh, Hans Edenwall, Jan Aman, Calle Johansson, Margrit Gadient, Eugen Schoenle, Dorothy Becker, Ashi Daftary, Margaret Franciscus, Carol Gilmour, Jerry Palmer, Rachel Taculad, Marilyn Tanner-Blasiar, Neil White, Uday Devaskar, Heather Horowitz, Lisa Rogers, Roxana Colon, Teresa Frazer, Jose Torres, Robin Goland, Ellen Greenberg, Maudene Nelson, Holly Schachner, Barney Softness, Jorma Ilonen, Massimo Trucco, Lynn Nichol, Erkki Savilahti, Taina Härkönen, Mikael Knip, Outi Vaarala, Kristiina Luopajärvi, Hans-Michael Dosch
-
- Journal:
- Public Health Nutrition / Volume 17 / Issue 4 / April 2014
- Published online by Cambridge University Press:
- 24 June 2013, pp. 810-822
-
- Article
-
- You have access Access
- HTML
- Export citation
-
Objective
To examine the use of vitamin D supplements during infancy among the participants in an international infant feeding trial.
DesignLongitudinal study.
SettingInformation about vitamin D supplementation was collected through a validated FFQ at the age of 2 weeks and monthly between the ages of 1 month and 6 months.
SubjectsInfants (n 2159) with a biological family member affected by type 1 diabetes and with increased human leucocyte antigen-conferred susceptibility to type 1 diabetes from twelve European countries, the USA, Canada and Australia.
ResultsDaily use of vitamin D supplements was common during the first 6 months of life in Northern and Central Europe (>80 % of the infants), with somewhat lower rates observed in Southern Europe (>60 %). In Canada, vitamin D supplementation was more common among exclusively breast-fed than other infants (e.g. 71 % v. 44 % at 6 months of age). Less than 2 % of infants in the USA and Australia received any vitamin D supplementation. Higher gestational age, older maternal age and longer maternal education were study-wide associated with greater use of vitamin D supplements.
ConclusionsMost of the infants received vitamin D supplements during the first 6 months of life in the European countries, whereas in Canada only half and in the USA and Australia very few were given supplementation.
Notes on Contributors
-
- By John Dennis Anderson, William Blazek, Linda Costanzo Cahir, Sharon Kehl Califano, Donna Campbell, Helena Chance, Melanie Dawson, Linda De Roche, Anne-Marie Evans, Susan Goodman, Jennifer Haytock, Adam Jabbur, Katherine Joslin, Pamela Knights, Heidi M. Kunz, Jessica Schubert McCarthy, Bonnie Shannon McMullen, Cecilia Macheski, Maureen E. Montgomery, Elsa Nettels, Julie Olin-Ammentorp, Emily J. Orlando, Robin Peel, Melissa M. Pennell, Laura Rattray, Judith P. Saunders, Sharon Shaloo, Gail D. Sinclair, Carol J. Singley, Margaret Toth, Gary Totten, Linda Wagner-Martin
- Edited by Laura Rattray, University of Hull
-
- Book:
- Edith Wharton in Context
- Published online:
- 05 November 2012
- Print publication:
- 08 October 2012, pp ix-xvi
-
- Chapter
- Export citation
A pluralist approach to the formalisation of mathematics
- ROBIN ADAMS, ZHAOHUI LUO
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 913-942
-
- Article
- Export citation
-
We present a programme of research for pluralist formalisations, that is, formalisations that involve proving results in more than one foundation.
A foundation consists of two parts: a logical part, which provides a notion of inference, and a non-logical part, which provides the entities to be reasoned about. An LTT is a formal system composed of two such separate parts. We show how LTTs may be used as the basis for a pluralist formalisation.
We show how different foundations may be formalised as LTTs, and also describe a new method for proof reuse. If we know that a translation Φ exists between two logic-enriched type theories (LTTs) S and T, and we have formalised a proof of a theorem α in S, we may wish to make use of the fact that Φ(α) is a theorem of T. We show how this is sometimes possible by writing a proof script MΦ. For any proof script Mα that proves a theorem α in S, if we change Mα so it first imports MΦ, the resulting proof script will still parse, and will be a proof of Φ(α) in T.
In this paper, we focus on the logical part of an LTT-framework and show how the above method of proof reuse is done for four cases of Φ: inclusion, the double negation translation, the A-translation and the Russell–Prawitz modality. This work has been carried out using the proof assistant Plastic.
List of Contributors
-
- By Harold P. Adams, Colum F. Amory, Anne Angelillo-Scherrer, Irena Anselm, Marcel Arnold, Robert W. Baloh, Ralf W. Baumgartner, José Biller, Valérie Biousse, Matthias Bischof, Julien Bogousslavsky, Natan M. Bornstein, Marie Germaine Bousser, Robin L. Brey, John C. M. Brust, Alan Bryer, Olivier Calvetti, Louis R. Caplan, José Castillo, Hugues Chabriat, Chin-Sang Chung, Charlotte Cordonnier, Steven C. Cramer, Luís Cunha, Rima M. Dafer, John F. Dashe, Cyrus K. Dastur, Antonio Dávalos, Larry E. Davis, Patricia Davis, Stephen M. Davis, Jan L. De Bleecker, Michael A. De Georgia, Amir R. Dehdashti, Oscar H. Del Brutto, Jacques L. De Reuck, Hans-Christoph Diener, Kathleen B. Digre, Vivian U. Fritz, Nancy Futrell, Bhuwan P. Garg, Philip B. Gorelick, Glenn D. Graham, Alexander Y. Gur, John J. Halperin, Michael Hennerici, Isabel Lestro Henriques, Roberto C. Heros, Daniel B. Hier, Lorenz Hirt, Joanna C. Jen, Taro Kaibara, Sumit Kapoor, Sarosh M. Katrak, Siddharth Kharkar, Walter J. Koroshetz, Monisha Kumar, Sandeep Kumar, Emre Kumral, Tobias Kurth, Rogelio Leira, Steven R. Levine, Didier Leys, Doris Lin, Jonathan Lipton, Alfredo M. Lopez-Yunez, Betsy B. Love, Ayrton Roberto Massaro, Heinrich P. Mattle, Manu Mehdiratta, John H. Menkes, Philippe Metellus, Reto Meuli, Patrik Michel, Panayiotis Mitsias, Jorge Moncayo-Gaete, Julien Morier, Krassen Nedeltchev, Bernhard Neundörfer, Olukemi A. Olugemo, Nikolaos I. H. Papamitsakis, Stephen D. Reck, Luca Regli, Marc D. Reichhart, Daniele Rigamonti, Michael J. Rivkin, E. Steve Roach, Jose F. Roldan, David Z. Rose, Daniel M. Rosenbaum, N. Paul Rosman, Elayna O. Rubens, Sean I. Savitz, Marc Schapira, Robert J. Schwartzman, Magdy Selim, Yukito Shinohara, Aneesh B. Singhal, Michael A. Sloan, Barney J. Stern, Mathias Sturzenegger, Oriana Thompson, A. Wesley Thevathasan, Jonathan D. Trobe, Michael Varner, Dana Védy, Jorge Vidaurre, Engin Y. Yilmaz, Khaled Zamel, Mathieu Zuber
- Edited by Louis R. Caplan, Julien Bogousslavsky
-
- Book:
- Uncommon Causes of Stroke
- Published online:
- 06 January 2010
- Print publication:
- 09 October 2008, pp ix-xiv
-
- Chapter
- Export citation
THE ISOPERIMETRIC PROBLEM ON PLANES WITH DENSITY
- Part of
- COLIN CARROLL, ADAM JACOB, CONOR QUINN, ROBIN WALTERS
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 78 / Issue 2 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 177-197
- Print publication:
- October 2008
-
- Article
-
- You have access Access
- Export citation
-
We discuss the isoperimetric problem in planes with density. In particular, we examine planes with generalized curvature zero. We solve the isoperimetric problem on the plane with density ex, as well as on the plane with density rp for p<0. The Appendix provides a proof by Robert Bryant that the Gauss plane has a unique closed geodesic.
Structural subtyping for inductive types with functorial equality rules†
- ZHAOHUI LUO, ROBIN ADAMS
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 5 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 931-972
-
- Article
- Export citation
-
In this paper we study subtyping for inductive types in dependent type theories in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types are formulated based on the notion of inductive schemata. Certain extensional equality rules play an important role in proving some of the crucial properties of the type system with these subtyping rules. In particular, it is shown that the structural subtyping rules are coherent and that transitivity is admissible in the presence of the functorial rules of computational equality.
Contributors
-
- By Graham Allan, Donna M. Allen, Irwin Altman, Arthur Aron, Donald H. Baucom, Steven R. H. Beach, Ellen Berscheid, Rosemary Blieszner, Jeffrey Boase, Tyfany M. J. Boettcher, Barbara B. Brown, Abraham P. Buunk, Lorne Campbell, Daniel J. Canary, Rodney Cate, John P. Caughlin, Mahnaz Charania, Jennie Y. Chen, F. Scott Christopher, Jennifer A. Clarke, Marilyn Coleman, W. Andrew Collins, Michael K. Coolsen, Nathan R. Cottle, Carolyn E. Cutrona, Marianne Dainton, Valerian J. Derlega, Lisa M. Diamond, Pieternel Dijkstra, Steve Duck, Pearl A. Dykstra, Norman B. Epstein, Beverley Fehr, Frank D. Fincham, Helen E. Fisher, Julie Fitness, Garth J. O. Fletcher, Myron D. Friesen, Lawrence Ganong, Kelli A. Gardner, Jenny de Jong Gierveld, Robin Goodwin, Christine R. Gray, Kathryn Greene, David W. Harris, Willard W. Hartup, John H. Harvey, Kathi L. Heffner, Ted L. Huston, William J. Ickes, Emily A. Impett, Michael P. Johnson, Deborah J. Jones, Deborah A. Kashy, Janice K. Kiecolt‐Glaser, Jeffrey L. Kirchner, Brighid M. Kleinman, Galena H. Kline, Mark L. Knapp, Ascan Koerner, Jean‐Philippe Laurenceau, Kim Leon, Timothy J. Loving, Stephanie D. Madsen, Howard J. Markman, Alicia Mathews, Mario Mikulincer, Patricia Noller, Nickola C. Overall, Letitia Anne Peplau, Daniel Perlman, Sally Planalp, Urmila Pillay, Nicole D. Pleasant, Caryl E. Rusbult, Barbara R. Sarason, Irwin G. Sarason, Phillip R. Shaver, Alan L. Sillars, Jeffry A. Simpson, Susan Sprecher, Susan Stanton, Greg Strong, Catherine A. Surra, Anita L. Vangelisti, C. Arthur VanLear, Theo van Tilburg, Barry Wellman, Amy Wenzel, Carol M. Werner, Adam R. West, Sarah W. Whitton, Heike A. Winterheld
- Edited by Anita L. Vangelisti, University of Texas, Austin, Daniel Perlman, University of British Columbia, Vancouver
-
- Book:
- The Cambridge Handbook of Personal Relationships
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2006, pp xvii-xxii
-
- Chapter
- Export citation