From Nonstandard Analysis to various flavours of Computability Theory

As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.Comment: To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/

Measurements of Sub-degree B-mode Polarization in the Cosmic Microwave Background from 100 Square Degrees of SPTpol Data

We present a measurement of the B-mode polarization power spectrum (the BB spectrum) from 100 deg^2 of sky observed with SPTpol, a polarization-sensitive receiver currently installed on the South Pole Telescope. The observations used in this work were taken during 2012 and early 2013 and include data in spectral bands centered at 95 and 150 GHz. We report the BB spectrum in five bins in multipole space, spanning the range 300 ≤ ℓ ≤ 2300, and for three spectral combinations: 95 GHz × 95 GHz, 95 GHz × 150 GHz, and 150 GHz × 150 GHz. We subtract small (<0.5σ in units of statistical uncertainty) biases from these spectra and account for the uncertainty in those biases. The resulting power spectra are inconsistent with zero power but consistent with predictions for the BB spectrum arising from the gravitational lensing of E-mode polarization. If we assume no other source of BB power besides lensed B modes, we determine a preference for lensed B modes of 4.9σ. After marginalizing over tensor power and foregrounds, namely, polarized emission from galactic dust and extragalactic sources, this significance is 4.3σ. Fitting for a single parameter, A_(lens), that multiplies the predicted lensed B-mode spectrum, and marginalizing over tensor power and foregrounds, we find A_(lens) = 1.08 ± 0.26, indicating that our measured spectra are consistent with the signal expected from gravitational lensing. The data presented here provide the best measurement to date of the B-mode power spectrum on these angular scales

Maternal parity and its effect on adipose tissue deposition and endocrine sensitivity in the postnatal sheep

Maternal parity influences size at birth, postnatal growth and body composition with firstborn infants being more likely to be smaller with increased fat mass, suggesting that adiposity is set in early life. The precise effect of parity on fat mass and its endocrine sensitivity remains unclear and was, therefore, investigated in the present study. We utilised an established sheep model in which perirenal–abdominal fat mass (the major fat depot in the neonatal sheep) increases ∼10-fold over the first month of life and focussed on the impact of parity on glucocorticoid sensitivity and adipokine expression in the adipocyte. Twin-bearing sheep of similar body weight and adiposity that consumed identical diets were utilised, and maternal blood samples were taken at 130 days of gestation. One offspring from each twin pair was sampled at 1 day of age, coincident with the time of maximal recruitment of uncoupling protein 1 (UCP1), whilst its sibling was sampled at 1 month, when UCP1 had disappeared. Plasma leptin was lower in nulliparous mothers than in multiparous mothers, and offspring of nulliparous mothers possessed more adipose tissue with increased mRNA abundance of leptin, glucocorticoid receptor and UCP2, adaptations that persisted up to 1 month of age when gene expression for interleukin-6 and adiponectin was also raised. The increase in fat mass associated with firstborn status is therefore accompanied by a resetting of the leptin and glucocorticoid axis within the adipocyte. Our findings emphasise the importance of parity in determining adipose tissue development and that firstborn offspring have an increased capacity for adipogenesis which may be critical in determining later adiposity

Sheep pregnancy checking by ultrasonic sound (1993)

Ultrasonic sound waves of about 2 million cycles per second can pass through living tissue. Used to determine sheep pregnancy, these sound waves are painless and have no harmful after-effects to the ewe or fetus

Dependence Logic with Generalized Quantifiers: Axiomatizations

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.Comment: 17 page

All hormone-producing cell types of the pituitary intermediate and anterior lobes derive from prop1-expressing progenitors

Mutations in PROP1, the most common known cause of combined pituitary hormone deficiency in humans, can result in the progressive loss of all hormones of the pituitary anterior lobe. In mice, Prop1 mutations result in the failure to initiate transcription of Pou1f1 (also known as Pit1) and lack somatotropins, lactotropins, and thyrotropins. The basis for this species difference is unknown. We hypothesized that Prop1 is expressed in a progenitor cell that can develop into all anterior lobe cell types, and not just the somatotropes, thyrotropes, and lactotropes, which are collectively known as the PIT1 lineage. To test this idea, we produced a transgenic Prop1-cre mouse line and conducted lineage-tracing experiments of Prop1-expressing cells. The results reveal that all hormone-secreting cell types of both the anterior and intermediate lobes are descended from Prop1-expressing progenitors. The Prop1-cre mice also provide a valuable genetic reagent with a unique spatial and temporal expression for generating tissue-specific gene rearrangements early in pituitary gland development. We also determined that the minimal essential sequences for reliable Prop1 expression lie within 10 kilobases of the mouse gene and demonstrated that human PROP1 can substitute functionally for mouse Prop1. These studies enhance our understanding of the pathophysiology of disease in patients with PROP1 mutations.Fil: Davis, Shannon W.. University of South Carolina; Estados UnidosFil: Keisler, Jessica L.. University of South Carolina; Estados UnidosFil: Pérez Millán, María Inés. University of Michigan; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Schade, Vanessa. University of Michigan; Estados UnidosFil: Camper, Sally A.. University of Michigan; Estados Unido

Measuring the dark flow with public X-ray cluster data

We present new results on the "dark flow" from a measurement of the dipole in the distribution of peculiar velocities of galaxy clusters, applying the methodology proposed and developed by us earlier. Our latest measurement is conducted using new, low-noise 7-yr WMAP data as well as an all-sky sample of X-ray selected galaxy clusters compiled exclusively from published catalogs. Our analysis of the CMB signature of the kinematic Sunyaev-Zeldovich (SZ) effect finds a statistically significant dipole at the location of galaxy clusters. The residual dipole outside the cluster regions is small, rendering our overall measurement 3-4 sigma significant. The amplitude of the dipole correlates with cluster properties, being larger for the most X-ray luminous clusters, as required if the signal is produced by the SZ effect. Since it is measured at zero monopole, the dipole can not be due to the thermal SZ effect. Our results are consistent with those obtained earlier by us from 5-yr WMAP data and using a proprietary cluster catalog. In addition, they are robust to quadrupole removal, demonstrating that quadrupole leakage contributes negligibly to the signal. The lower noise of the 7-yr WMAP also allows us, for the first time, to obtain tentative empirical confirmation of our earlier conjecture that the adopted filtering flips the sign of the KSZ effect for realistic clusters and thus of the deduced direction of the flow. The latter is consistent with our earlier measurement in both the amplitude and direction. Assuming the filtering indeed flips the sign of the KSZ effect from the clusters, the direction agrees well also with the results of independent work using galaxies as tracers at lower distances. We make all maps and cluster templates derived by us from public data available to the scientific community to allow independent tests of our method and findings.Comment: ApJ, in press. Replaced with accepted version. The data needed for these results are at http://www.kashlinsky.info/bulkflows/data_publi

Model selection applied to reconstruction of the Primordial Power Spectrum

The preferred shape for the primordial spectrum of curvature perturbations is determined by performing a Bayesian model selection analysis of cosmological observations. We first reconstruct the spectrum modelled as piecewise linear in \log k between nodes in k-space whose amplitudes and positions are allowed to vary. The number of nodes together with their positions are chosen by the Bayesian evidence, so that we can both determine the complexity supported by the data and locate any features present in the spectrum. In addition to the node-based reconstruction, we consider a set of parameterised models for the primordial spectrum: the standard power-law parameterisation, the spectrum produced from the Lasenby & Doran (LD) model and a simple variant parameterisation. By comparing the Bayesian evidence for different classes of spectra, we find the power-law parameterisation is significantly disfavoured by current cosmological observations, which show a preference for the LD model.Comment: Minor changes to match version accepted by JCA