bluuebunny/crossref_metadata_2025_split huggingface dataset:
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
Authors: SANTOS PAULO GUILHERME , KAHLE REINHARD 
Published: December 2021

AbstractKreisel’s conjecture is the statement: if, for all$n\in \mathbb {N}$,$\mathop {\text {PA}} \nolimits \vdash _{k \text { steps}} \varphi (\overline {n})$, then$\mathop {\text {PA}} \nolimits \vdash \forall x.\varphi (x)$. For a theory of arithmeticT, given a recursive functionh,$T \vdash _{\leq h} \varphi $holds if there is a proof of$\varphi $inTwhose code is at most$h(\#\varphi )$. This notion depends on the underlying coding.${P}^h_T(x)$is a predicate for$\vdash _{\leq h}$inT. It is shown that there exist a sentence$\varphi $and a total recursive functionhsuch that$T\vdash _{\leq h}\mathop {\text {Pr}} \nolimits _T(\ulcorner \mathop {\text {Pr}} \nolimits _T(\ulcorner \varphi \urcorner )\rightarrow \varphi \urcorner )$, but, where$\mathop {\text {Pr}} \nolimits _T$stands for the standard provability predicate inT. This statement is related to a conjecture by Montagna. Also variants and weakenings of Kreisel’s conjecture are studied. By the use of reflexion principles, one can obtain a theory$T^h_\Gamma $that extendsTsuch that a version of Kreisel’s conjecture holds: given a recursive functionhand$\varphi (x)$a$\Gamma $-formula (where$\Gamma $is an arbitrarily fixed class of formulas) such that, for all$n\in \mathbb {N}$,$T\vdash _{\leq h} \varphi (\overline {n})$, then$T^h_\Gamma \vdash \forall x.\varphi (x)$. Derivability conditions are studied for a theory to satisfy the following implication: if, then$T\vdash \forall x.\varphi (x)$. This corresponds to an arithmetization of Kreisel’s conjecture. It is shown that, for certain theories, there exists a functionhsuch that$\vdash _{k \text { steps}}\ \subseteq\ \vdash _{\leq h}$.
Regional security cooperation against hegemonic threats: Theory and evidence from France and West Germany (1945–65)
Authors: Byun Joshua 
Published: December 2021

AbstractWhy do some regional powers collectively threatened by a potential hegemon eagerly cooperate to ensure their security, while others appear reluctant to do so? I argue that robust security cooperation at the regional level is less likely when an unbalanced distribution of power exists between the prospective security partners. In such situations, regional security cooperation tends to be stunted by foot-dragging and obstructionism on the part of materially inferior states wary of facilitating the strategic expansion of neighbours with larger endowments of power resources, anticipating that much of the coalition's gains in military capabilities are likely to be achieved through an expansion of the materially superior neighbour's force levels and strategic flexibility. Evidence drawn from primary material and the latest historiography of France's postwar foreign policy towards West Germany provides considerable support for this argument. My findings offer important correctives to standard accounts of the origins of Western European security cooperation and suggest the need to rethink the difficulties the United States has encountered in promoting cooperation among local allies in key global regions.
Preclinical models of glioblastoma: limitations of current models and the promise of new developments
Authors: Liu Peng , Griffiths Scott , Veljanoski Damjan , Vaughn-Beaucaire Philippa , Speirs Valerie , Brüning-Richardson Anke 
Published: December 2021

AbstractGlioblastoma (GBM) is the most common and aggressive primary brain tumour, yet little progress has been made towards providing better treatment options for patients diagnosed with this devastating condition over the last few decades. The complex nature of the disease, heterogeneity, highly invasive potential of GBM tumours and until recently, reduced investment in research funding compared with other cancer types, are contributing factors to few advancements in disease management. Survival rates remain low with less than 5% of patients surviving 5 years. Another important contributing factor is the use of preclinical models that fail to fully recapitulate GBM pathophysiology, preventing efficient translation from the lab into successful therapies in the clinic. This review critically evaluates current preclinical GBM models, highlighting advantages and disadvantages of using such models, and outlines several emerging techniques in GBM modelling using animal-free approaches. These novel approaches to a highly complex disease such as GBM show evidence of a more truthful recapitulation of GBM pathobiology with high reproducibility. The resulting advancements in this field will offer new biological insights into GBM and its aetiology with potential to contribute towards the development of much needed improved treatments for GBM in future.
Continuously active disinfectant inactivates severe acute respiratory coronavirus virus 2 (SARS-CoV-2) and human coronavirus 229E two days after the disinfectant was applied and following wear exposures
Authors: Rutala William A. , Ikner Luisa A. , Donskey Curtis J. , Weber David J. , Gerba Charles P. 
Published: December 2021

AbstractThe surface environment in rooms of coronavirus disease 2019 (COVID-19) patients may be persistently contaminated despite disinfection. A continuously active disinfectant demonstrated excellent sustained antiviral activity following a 48-hour period of wear and abrasion exposures with reinoculations. Reductions of >4-log10 were achieved within a 1-minute contact time for severe acute respiratory coronavirus virus 2 (SARS-CoV-2) and the human coronavirus, 229E.
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Authors: BEZHANISHVILI GURAM , BRANTLEY KRISTINA , ILIN JULIA 
Published: December 2021

AbstractThe Gödel translation provides an embedding of the intuitionistic logic$\mathsf {IPC}$into the modal logic$\mathsf {Grz}$, which then embeds into the modal logic$\mathsf {GL}$via the splitting translation. Combined with Solovay’s theorem that$\mathsf {GL}$is the modal logic of the provability predicate of Peano Arithmetic$\mathsf {PA}$, both$\mathsf {IPC}$and$\mathsf {Grz}$admit provability interpretations. When attempting to ‘lift’ these results to the monadic extensions$\mathsf {MIPC}$,$\mathsf {MGrz}$, and$\mathsf {MGL}$of these logics, the same techniques no longer work. Following a conjecture made by Esakia, we add an appropriate version of Casari’s formula to these monadic extensions (denoted by a ‘+’), obtaining that the Gödel translation embeds$\mathsf {M^{+}IPC}$into$\mathsf {M^{+}Grz}$and the splitting translation embeds$\mathsf {M^{+}Grz}$into$\mathsf {MGL}$. As proven by Japaridze, Solovay’s result extends to the monadic system$\mathsf {MGL}$, which leads us to a provability interpretation of both$\mathsf {M^{+}IPC}$and$\mathsf {M^{+}Grz}$.
Implementing Partisan Symmetry: A Response to a Response
Authors: DeFord Daryl , Dhamankar Natasha , Duchin Moon , Gupta Varun , McPike Mackenzie , Schoenbach Gabe , Sim Ki Wan 
Published: December 2021

AbstractKatz, King, and Rosenblatt recently wrote a broad survey developing and extending the theory of partisan symmetry. Our paper reviewed the implementability of the theory, focusing on simplified scores of symmetry—seemingly compatible with their formulation—that are in wide use. We analyzed these simplified scores and concluded that they are not suited for redistricting reform. By our reading of their response, Katz, King, and Rosenblatt agree.
Simulation of the plume of a magnetically enhanced plasma thruster with SPIS
Authors: Di Fede Simone , Magarotto Mirko , Andrews Shaun , Pavarin Daniele 
Published: December 2021

A three-dimensional fully kinetic particle-in-cell (PIC) simulation strategy has been implemented to simulate the acceleration stage of a magnetically enhanced plasma thruster (MEPT). The study has been performed with the open-source code Spacecraft Plasma Interaction Software (SPIS). The tool has been copiously modified to simulate properly the dynamics of a magnetized plasma plume. A cross-validation of the methodology has been done with Starfish, a two-dimensional open-source PIC software. Two configurations have been compared: (i) in the absence of a magnetic field and (ii) in the presence of a magnetic field generated by a coil with maximum intensity of 300 G at the thruster outlet. The results show a reduction of the plume divergence angle, an increase of ion speed and an increase of the specific impulse in the presence of the magnetic nozzle. The simulations presented in this study are representative of the operative conditions of a 50 W MEPT. Nonetheless, the methodology adopted can be extended to handle the magnetized plasma plume of several other types of thrusters such as electron cyclotron resonance and applied field magnetoplasmadynamic thrusters.
Mountain freshwater ecosystems and protected areas in the tropical Andes: insights and gaps for climate change adaptation
Authors: Quenta-Herrera Estefania , Crespo-Pérez Verónica , Mark Bryan G , Gonzales Ana Lía , Kulonen Aino 
Published: December 2021

SummaryAlthough protected areas (PAs) play an important role in ecosystem conservation and climate change adaptation, no systematic information is available on PA protection of high-elevation freshwater ecosystems (e.g., lakes and watersheds with glaciers), their biodiversity and their ecosystem services in the tropical Andes. We therefore combined a literature review and map analysis of PAs of International Union for Conservation of Nature (IUCN) and national systems of PAs and freshwater ecosystems. We found that seven national parks were created for water resources protection but were not designed for freshwater conservation (i.e., larger watersheds). High-value biodiversity sites have not been protected, and new local PAs were created due to water resource needs. We quantified 31 Ramsar sites and observed that PAs cover 12% of lakes, 31% of glacial lakes and 12% of the total stream length in the tropical Andes. Additionally, 120 watersheds (average area 631 km2) with glaciers and 40% of the total glacier surface area were covered by PAs. Future research into the role of PAs in ecosystem services provision and more detailed freshwater inventories within and around PAs, especially for those dependent on glacier runoff, will fill key knowledge gaps for freshwater conservation and climate change adaptation in the tropical Andes.
Crosstalk between protein kinases A and C regulates sea urchin sperm motility
Authors: Loza-Huerta Arlet , Pacheco-Castillo Hiram , Darszon Alberto , Beltrán Carmen 
Published: December 2021

SummaryFertilization, a crucial event for species preservation, in sea urchins, as in many other organisms, requires sperm motility regulation. InStrongylocentrotus purpuratussea urchins, speract, a sperm chemoattractant component released to seawater from the outer egg layer, attracts sperm after binding to its receptor in the sperm flagellum. Previous experiments performed in demembranated sperm indicated that motility regulation in these cells involved protein phosphorylation mainly due to the cAMP-dependent protein kinase (PKA). However, little information is known about the involvement of protein kinase C (PKC) in this process. In this work, using intactS. purpuratussea urchin sperm, we show that: (i) the levels of both phosphorylated PKA (PKA substrates) and PKC (PKC substrates) substrates change between immotile, motile and speract-stimulated sperm, and (ii) the non-competitive PKA (H89) and PKC (chelerythrine) inhibitors diminish the circular velocity of sperm and alter the phosphorylation levels of PKA substrates and PKC substrates, while the competitive inhibitors Rp-cAMP and bisindolylmaleimide (BIM) do not. Altogether, our results show that both PKA and PKC participate in sperm motility regulation through a crosstalk in the signalling pathway. These results contribute to a better understanding of the mechanisms that govern motility in sea urchin sperm.
Impacts of an EMS Hospital Liaison Program on Ambulance Offload Times: A Preliminary Analysis
Authors: Scharf Becca M. , Garfinkel Eric M. , Sabat David J. , Cohn Eric B. , Linton Robert C. , Levy Matthew J. 
Published: December 2021

AbstractIntroduction:Ambulance patients who are unable to be quickly transferred to an emergency department (ED) bed represent a key contributing factor to ambulance offload delay (AOD). Emergency department crowding and associated AOD are exacerbated by multiple factors, including infectious disease outbreaks such as the coronavirus disease 2019 (COVID-19) pandemic. Initiatives to address AOD present an opportunity to streamline ambulance offload procedures while improving patient outcomes.Study Objective:The goal of this study was to evaluate the initial outcomes and impact of a novel Emergency Medical Service (EMS)-based Hospital Liaison Program (HLP) on ambulance offload times (AOTs).Methods:Ambulance offload times associated with EMS patients transported to a community hospital six months before and after HLP implementation were retrospectively analyzed using proportional significance tests, t-tests, and multiple regression analysis.Results:A proportional increase in incidents in the zero to <30 minutes time category after program implementation (+2.96%; P <.01) and a commensurate decrease in the proportion of incidents in the 30 to <60 minutes category (−2.65%; P <.01) were seen. The fully adjusted regression model showed AOT was 16.31% lower (P <.001) after HLP program implementation, holding all other variables constant.Conclusion:The HLP is an innovative initiative that constitutes a novel pathway for EMS and hospital systems to synergistically enhance ambulance offload procedures. The greatest effect was demonstrated in patients exhibiting potentially life-threatening symptoms, with a reduction of approximately three minutes. While small, this outcome was a statistically significant decrease from the pre-intervention period. Ultimately, the HLP represents an additional strategy to complement existing approaches to mitigate AOD.
Ceci n’est pas un subalterne. A Comment on Indigenous Erasure in Ontology-Related Archaeologies
Authors: Marín-Aguilera Beatriz 
Published: December 2021

AbstractHaving followed with great interest the latest scholarly literature on ontology-related archaeologies, especially in this journal, this essay will problematise the extractive nature of much of this scholarship in the long-history of Western imperialism, in which Indigenous knowledge has been collected, depoliticised, classified, and then re-signified within Western frameworks.
National and international non-therapeutic recommendations for adult palliative and end-of-life care in times of pandemics: A scoping review
Authors: Gesell Daniela , Lehmann Eva , Gauder Sonja , Wallner Marie , Simon Steffen , Bausewein Claudia 
Published: December 2021

AbstractObjectiveThe care of seriously ill and dying people is an important task, especially in times of pandemics and regardless of the patients’ infection status. Before the SARS-CoV-2 pandemic, healthcare systems were not sufficiently prepared for the challenges of palliative and end-of-life care during a pandemic. The aim was to identify and synthesize relevant aspects and non-therapeutic recommendations of palliative and end-of-life care of seriously ill and dying people, infected and uninfected, and their relatives after one year into the pandemic to outline what actions, practices, and procedures were taken to deal with the pandemic and its consequences.MethodA scoping literature review following the methods of the PRISMA-ScR. The electronic literature search was conducted in 09/2020 and updated in 02/2021 using MEDLINE (Pubmed), with no restriction of publication date and eligibility criteria. In addition, a manual search was carried out.ResultsA total of 280 studies met the inclusion criteria and three main aspects have emerged. The reduction of physical contact due to the risk of infection severely limited the work of palliative care professionals and solutions had to be found to maintain palliative and end-of-life care structures. This has been accompanied by strict visitor restrictions and the need to support patients, relatives, and enable contact. The third relevant aspect is the integration of specialist palliative care expertise into other clinical settings.Significance of resultsThis scoping review demonstrates the need for basic palliative care training for every healthcare professional. It supports the importance of developing a national strategy for palliative care in pandemic times in every country, including the digitalization of the healthcare sector to offer telecommunication/telemedicine.
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
Authors: KRIPKE SAUL A. 
Published: December 2021

AbstractIn his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that ‘direct’ self-reference can actually be used to prove his result.
Cutover Peat Limits Methane Production Causing Low Emission at a Restored Peatland
Authors: Nugent Kelly A. , Strachan Ian B. , Strack Maria , Roulet Nigel T. , Ström Lena , Chanton Jeffrey P. 
Published: December 2021

AbstractPeatland degradation due to human activities is contributing to rising atmospheric CO2 levels. Restoring the carbon (C) sink function in degraded peatlands and preventing further stored C losses is a key climate mitigation strategy, given the global scale of peatland disturbance. Active restoration involving a combination of rewetting and vegetation reestablishment at a post‐extraction peatland in Canada has been shown to successfully re‐establish net CO2 uptake rates similar to undisturbed peatlands within a decade or two. However, lower than expected CH4 emissions suggest recovery of belowground C cycling processes may lag behind the recovery of the surface net flux. Using closed chamber measurements over a warm season, we determined that restored Sphagnum, which covers two thirds of the site, was a null source of CH4. Emissions from the restored site were primarily attributed to vascular plant substrate inputs, measured as acetate, and plant‐mediated transport. The C isotopic fractionation factor for CH4 and CO2 in the pore water from the restored former peat field suggested reduced hydrogenotrophic CH4 production deeper in the cutover peat profile (0.8 m depth). In contrast, isotopic fractionation in the former drainage ditches showed a balance of acetoclastic and hydrogenotrophic methanogenesis deeper in the profile, indicative of some bulk peat C turnover. This study suggests that the legacy of substrate quality in the cutover peat can reduce the climate warming impact of newly restored peatlands through a reduction in CH4 production and thus emission.
Statistical Study of Electron Density Enhancements in the Ionospheric F Region Associated With Pulsating Auroras
Authors: Fukizawa M. , Sakanoi T. , Ogawa Y. , Tsuda T. T. , Hosokawa K. 
Published: December 2021

AbstractPulsating auroras (PsAs) are considered to be caused by energetic (>a few keV) electron precipitation. Additionally, soft electron precipitation (<a few keV) has often been observed in PsAs. This soft electron precipitation enhances the electron density in the ionospheric F region. However, to date, the relationship between PsAs and soft electron precipitation has not been well understood. In this study, using the data taken by the European incoherent scatter radar and the auroral all‐sky imager at Tromsø, we conducted two case studies to investigate, in detail, the relationship between the electron density height profile and the type of aurora. Additionally, we conducted statistical studies for 14 events to elucidate how often F region electron density enhancement occurs with a PsA. We consequently found that 76% of electron density height profiles showed a local peak in the F region, with electron temperature enhancements. It was also found that 89% of the F region peak altitudes were above the peak altitude of the ionization rate produced by electrons of characteristic energy below 100 eV. The occurrence rate of these profiles in the hourly magnetic local time (MLT) exceeded 80% in the 22–3 MLT sectors. We suggest that the electron density enhancement in the F region would have been caused by electrostatic electron cyclotron harmonic waves in the magnetosphere. Another candidate would have been polar patches that had traveled from the dayside ionosphere.
Tajik Depression and Greater Pamir Neotectonics From InSAR Rate Maps
Authors: Metzger Sabrina , Gągała Łukasz , Ratschbacher Lothar , Lazecký Milan , Maghsoudi Yasser , Schurr Bernd 
Published: December 2021

AbstractUsing E‐W and vertical deformation‐rate maps derived from radar interferometric time‐series, we analyze the deformation field of an entire orogenic segment, that is, the Tajik depression and its adjoining mountain belts, Tian Shan, Pamir, and Hindu Kush. The data‐base consists of 900+ radar scenes acquired over 2.0–4.5 years and global navigation satellite system measurements. The recent, supra‐regional kinematics is visualized in an unprecedented spatio‐temporal resolution. We confirm the westward collapse of the Pamir‐Plateau crust, inverting the Tajik basin into a fold‐thrust belt (FTB) with shortening rates decaying westward from ∼15 to 2 mm/yr. Vertical rates in the Hindu Kush likely record slab‐dynamic effects, that is, the progressive break‐off of the Hindu Kush slab. At least 10 mm/yr of each, uplift and westward motion occur along the western edge of the Pamir Plateau, outlining the crustal‐scale ramp along which the Pamir Plateau overrides the Tajik depression. The latter shows a combination of basin‐scale tectonics, halokinesis, and seasonal/weather‐driven near‐surface effects. Abrupt ∼6 mm/yr horizontal‐rate changes occur across the kinematically linked dextral Ilyak strike‐slip fault, bounding the Tajik FTB to the north, and the Babatag backthrust, the major thrust of the FTB, located far west in the belt. The sharp rate decay across the Ilyak fault indicates a locking depth of ≤1 km. The Hoja Mumin salt fountain is spreading laterally at ≤350 mm/yr. On the first‐order, the modern 20–5 and fossil (since ∼12 Ma) 12–8 mm/yr shortening rates across the FTB correspond.
The multifunctional protein E4F1 links P53 to lipid metabolism in adipocytes
Authors: Lacroix Matthieu , Linares Laetitia K. , Rueda-Rincon Natalia , Bloch Katarzyna , Di Michele Michela , De Blasio Carlo , Fau Caroline , Gayte Laurie , Blanchet Emilie , Mairal Aline , Derua Rita , Cardona Fernando , Beuzelin Diane , Annicotte Jean-Sebastien , Pirot Nelly , Torro Adeline , Tinahones Francisco J. , Bernex Florence , Bertrand-Michel Justine , Langin Dominique , Fajas Lluis , Swinnen Johannes V. , Le Cam Laurent 
Published: December 2021

AbstractGrowing evidence supports the importance of the p53 tumor suppressor in metabolism but the mechanisms underlying p53-mediated control of metabolism remain poorly understood. Here, we identify the multifunctional E4F1 protein as a key regulator of p53 metabolic functions in adipocytes. While E4F1 expression is upregulated during obesity, E4f1 inactivation in mouse adipose tissue results in a lean phenotype associated with insulin resistance and protection against induced obesity. Adipocytes lacking E4F1 activate a p53-dependent transcriptional program involved in lipid metabolism. The direct interaction between E4F1 and p53 and their co-recruitment to the Steaoryl-CoA Desaturase-1 locus play an important role to regulate monounsaturated fatty acids synthesis in adipocytes. Consistent with the role of this E4F1-p53-Steaoryl-CoA Desaturase-1 axis in adipocytes, p53 inactivation or diet complementation with oleate partly restore adiposity and improve insulin sensitivity in E4F1-deficient mice. Altogether, our findings identify a crosstalk between E4F1 and p53 in the control of lipid metabolism in adipocytes that is relevant to obesity and insulin resistance.