Neutrino-driven winds are thought to accompany the Kelvin-Helmholtz cooling phase of nascent protoneutron stars in the first seconds after a core-collapse supernova. These outflows are a likely candidate as the astrophysical site for rapid neutron-capture nucleosynthesis (the rprocess). In this chapter we review the physics of protoneutron star winds and assess their potential as a site for the...

We prove a general strong normalisation theorem for higher type rewrite systems based on Tait's strong computability predicates and a strictly continuous domain-theoretic semantics. The theorem applies to extensions of Gödel's system T , but also to various forms of barrecursion for which strong normalisation was hitherto unknown.

This work deals with strong implications (S-implications in short) derived from uninorms continuous at ]0, 1[2. The general expression of such implications is found and several properties are studied. In particular, the distributivity of the Simplications over conjunctive and disjunctive uninorms is investigated.

We prove a general strong normalization theorem for higher type rewrite systems based on Tait’s strong computability predicates and a strictly continuous domain-theoretic semantics. The theorem applies to extensions of Gödel’s system T , but also to various forms of bar recursion for which strong normalization was hitherto unknown.

Because North and South America are surrounded by water, they constitute together a gigantic island whose peripheral sea level is controlled by the winds east of the island, winds along the western boundary of the island, the freshwater fiux, and the meridional overturning cell. This idea has been expressed in several articles where a series of analytical models show that the Bering Strait (BS)...