SupersaturationIn physical chemistry, supersaturation occurs with a solution when the concentration of a solute exceeds the concentration specified by the value of solubility at equilibrium. Most commonly the term is applied to a solution of a solid in a liquid. A supersaturated solution is in a metastable state; it may be brought to equilibrium by forcing the excess of solute to separate from the solution. The term can also be applied to a mixture of gases.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Radiative coolingIn the study of heat transfer, radiative cooling is the process by which a body loses heat by thermal radiation. As Planck's law describes, every physical body spontaneously and continuously emits electromagnetic radiation. Radiative cooling has been applied in various contexts throughout human history, including ice making in India and Iran, heat shields for spacecraft, and in architecture. In 2014, a scientific breakthrough in the use of photonic metamaterials made daytime radiative cooling possible.
Ice ageAn ice age is a long period of reduction in the temperature of Earth's surface and atmosphere, resulting in the presence or expansion of continental and polar ice sheets and alpine glaciers. Earth's climate alternates between ice ages and greenhouse periods, during which there are no glaciers on the planet. Earth is currently in the ice age called Quaternary glaciation. Individual pulses of cold climate within an ice age are termed glacial periods (or, alternatively, glacials, glaciations, glacial stages, stadials, stades, or colloquially, ice ages), and intermittent warm periods within an ice age are called interglacials or interstadials.
Atmospheric thermodynamicsAtmospheric thermodynamics is the study of heat-to-work transformations (and their reverse) that take place in the earth's atmosphere and manifest as weather or climate. Atmospheric thermodynamics use the laws of classical thermodynamics, to describe and explain such phenomena as the properties of moist air, the formation of clouds, atmospheric convection, boundary layer meteorology, and vertical instabilities in the atmosphere. Atmospheric thermodynamic diagrams are used as tools in the forecasting of storm development.
Existential quantificationIn predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.
Earth's energy budgetEarth's energy budget accounts for the balance between the energy that Earth receives from the Sun and the energy the Earth loses back into outer space. Smaller energy sources, such as Earth's internal heat, are taken into consideration, but make a tiny contribution compared to solar energy. The energy budget also accounts for how energy moves through the climate system. Because the Sun heats the equatorial tropics more than the polar regions, received solar irradiance is unevenly distributed.
Thermodynamic diagramsThermodynamic diagrams are diagrams used to represent the thermodynamic states of a material (typically fluid) and the consequences of manipulating this material. For instance, a temperature–entropy diagram (T–s diagram) may be used to demonstrate the behavior of a fluid as it is changed by a compressor. Especially in meteorology they are used to analyze the actual state of the atmosphere derived from the measurements of radiosondes, usually obtained with weather balloons.
Radiative equilibriumRadiative equilibrium is the condition where the total thermal radiation leaving an object is equal to the total thermal radiation entering it. It is one of the several requirements for thermodynamic equilibrium, but it can occur in the absence of thermodynamic equilibrium. There are various types of radiative equilibrium, which is itself a kind of dynamic equilibrium. Equilibrium, in general, is a state in which opposing forces are balanced, and hence a system does not change in time.
Arctic sea ice declineSea ice in the Arctic has declined in recent decades in area and volume due to climate change. It has been melting more in summer than it refreezes in winter. Global warming, caused by greenhouse gas forcing is responsible for the decline in Arctic sea ice. The decline of sea ice in the Arctic has been accelerating during the early twenty‐first century, with a decline rate of 4.7% per decade (it has declined over 50% since the first satellite records). It is also thought that summertime sea ice will cease to exist sometime during the 21st century.
