The sensitivity of the dynamics of a tropical Pacific Massachusetts Institute of Technology (MIT) general circulation model (MITgcm) to the surface forcing fields and to the horizontal resolution is analyzed. During runs covering the period 1992–2002, two different sets of surface forcing boundary conditions are used, obtained 1) from the National Centers for Environmental Prediction/National C...

An r-fold analogue of the positive semidefinite zero forcing process that is carried out on the r-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional po...

The Dual Post Correspondence Problem asks, for a given word α, if there exists a non-periodic morphism g and an arbitrary morphism h such that g(α) = h(α). Thus α satisfies the Dual PCP if and only if it belongs to a non-trivial equality set. Words which do not satisfy the Dual PCP are called periodicity forcing, and are important to the study of word equations, equality sets and ambiguity of m...

In an Appalachian Set Theory Workshop [3], Gitik presented some of the details of a simplified version of the poset from his original paper. The discussion there motivates the definition of the forcing by modifying a poset which requires a stronger large cardinal assumption which is sometimes called the long extender forcing. However, the discussion recorded in the Appalachian Set Theory (AST) ...

The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathematical statements are neither proved nor refuted from these axioms. One example is given by Gödel’s Second Incompleteness Theorem, which says that no consistent recursive axiom system which is strong enough to descr...

Nine different global models with detailed aerosol modules have independently produced instantaneous direct radiative forcing due to anthropogenic aerosols. The anthropogenic impact is derived from the difference of two model simulations with prescribed aerosol emissions, one for present-day and one for pre-industrial conditions. The difference in the solar energy budget at the top of the atmos...

The largest uncertainty in the historical radiative forcing of climate is caused by the interaction of aerosols with clouds. Historical forcing is not a directly measurable quantity, so reliable assessments depend on the development of global models of aerosols and clouds that are well constrained by observations. However, there has been no systematic assessment of how reduction in the uncertai...

Set theory is the study of sets, particularly the transfinite, with a focus on well-founded transfinite recursion. Began with Cantor in late 19th century, matured in mid 20th century. Set theory today is vast: independence, large cardinals, forcing, combinatorics, the continuum, descriptive set theory,... Set theory also serves as an ontological foundation for all (or much of) mathematics. Math...