Isomorphism theorem for BSS recursively enumerable sets over real closed fields

AbstractThe main result of this paper lies in the framework of BSS computability: it shows roughly that any recursively enumerable set S in RN, N⩽∞, where R is a real closed field, is isomorphic to RdimS by a bijection ϕ which is decidable over S. Moreover the map S↦ϕ is computable. Some related matters are also considered like characterization of the real closed fields with a r.e. set of infinitesimals, and the dimension of r.e. sets

On the genetic determinism of muscular hypertrophy in the Belgian White and Blue cattle breed. II. Population data

International audienc

Hot methane line lists for exoplanet and brown dwarf atmospheres

We present comprehensive experimental line lists of methane (CH4) at high temperatures obtained by recording Fourier transform infrared emission spectra. Calibrated line lists are presented for the temperatures 300 - 1400 degC at twelve 100 degC intervals spanning the 960 - 5000 cm-1 (2.0 - 10.4 microns) region of the infrared. This range encompasses the dyad, pentad and octad regions, i.e., all fundamental vibrational modes along with a number of combination, overtone and hot bands. Using our CH4 spectra, we have estimated empirical lower state energies (Elow in cm-1) and our values have been incorporated into the line lists along with line positions (cm-1) and calibrated line intensities (S' in cm molecule-1). We expect our hot CH4 line lists to find direct application in the modeling of planetary atmospheres and brown dwarfs.Comment: Supplementary material is provided via the Astrophysical Journal referenc

Y - EN ; Questions pour des champions

Adapted for the synchronous online teaching environment. Can also be used face-to-face with an element of competition between teams within a group