Ekeland’s variational principle in weak and strong systems of arithmetic

We analyze Ekeland’s variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to Π11- CA0, a strong theory of second-order arithmetic, while natural restrictions (e.g. to compact spaces or to continuous functions) yield statements equivalent to weak König’s lemma (WKL0) and to arithmetical comprehension (ACA0). We also find that the localized version of Ekeland’s variational principle is equivalent to Π11- CA0, even when restricted to continuous functions. This is a rare example of a statement about continuous functions having great logical strength

Coastal subsidence increases vulnerability to sea level rise over twenty first century in Cartagena, Caribbean Colombia

Cartagena is subsiding at a higher rate compared to that of global climate-driven sea level rise. We investigate the relative sea level rise (RSLR) and the influence of vertical land movements in Cartagena through the integration of different datasets, including tide gauge records, GPS geodetic subsidence data, and Interferometric Synthetic Aperture Radar (InSAR) observations of vertical motions. Results reveal a long-term rate (\u3e 60 years) of RSLR of 5.98 ± 0.01 mm/yr. The last two decades exhibited an even greater rate of RSLR of 7.02 ± 0.06 mm/yr. GPS subsidence rates range between − 5.71 ± 2.18 and − 2.85 ± 0.84 mm/yr. InSAR data for the 2014–2020 period show cumulative subsidence rates of up to 72.3 mm. We find that geologically induced vertical motions represent 41% of the observed changes in RSLR and that subsidence poses a major threat to Cartagena’s preservation. The geodetic subsidence rates found would imply a further additional RSLR of 83 mm by 2050 and 225 mm by 2100. The Colombian government should plan for the future and serve as an example to similar cities across the Caribbean

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relational and topological semantics coincide

Coastal subsidence increases vulnerability to sea level rise over twenty first century in Cartagena, Caribbean Colombia

Cartagena is subsiding at a higher rate compared to that of global climate-driven sea level rise. We investigate the relative sea level rise (RSLR) and the influence of vertical land movements in Cartagena through the integration of different datasets, including tide gauge records, GPS geodetic subsidence data, and Interferometric Synthetic Aperture Radar (InSAR) observations of vertical motions. Results reveal a long-term rate (\u3e 60 years) of RSLR of 5.98 ± 0.01 mm/yr. The last two decades exhibited an even greater rate of RSLR of 7.02 ± 0.06 mm/yr. GPS subsidence rates range between − 5.71 ± 2.18 and − 2.85 ± 0.84 mm/yr. InSAR data for the 2014–2020 period show cumulative subsidence rates of up to 72.3 mm. We find that geologically induced vertical motions represent 41% of the observed changes in RSLR and that subsidence poses a major threat to Cartagena’s preservation. The geodetic subsidence rates found would imply a further additional RSLR of 83 mm by 2050 and 225 mm by 2100. The Colombian government should plan for the future and serve as an example to similar cities across the Caribbean

Assessment of vapor pressure deficit variability and trends in Spain and possible connections with soil moisture

The Vapor Pressure Deficit (VPD) is one of the most relevant surface meteorological variables; with important implications in ecology, hydrology, and atmosphere. By understanding the processes involved in the variability and trend of the VPD, it is possible to assess the possible impacts and implications related to both physical and human environments, like plant function, water use efficiency, net ecosystem production, atmospheric CO2 growth rate, etc. This study analysed recent temporal variability and trends in VPD in Spain between 1980 and 2020 using a recently developed high-quality dataset. Also, the connection between VPD and soil moisture and other key climate variables (e.g. air temperature, precipitation, and relative humidity) was assessed on different time scales varying from weekly to annual. The objective was to determine if changes in land-atmosphere feedbacks connected with soil moisture and evapotranspiration anomalies have been relevant to assess the interannual variability and trends in VPD. Results demonstrate that VPD exhibited a clear seasonality and dominant positive trends on both the seasonal (mainly spring and summer) and annual scales. Rather, trends were statistically non-significant (p > 0.05) during winter and autumn. Spatially, VPD positive trends were more pronounced in southern and eastern of Spain. Also, results suggest that recent trends of VPD shows low contribution of variables that drive land-atmosphere feedbacks (e.g. evapotranspiration, and soil moisture) in comparison to the role of global warming processes. Notably, the variability of VPD seems to be less coupled with soil moisture variability during summertime, while it is better interrelated during winter, indicating that VPD variability would be mostly related to climate variability mechanisms that control temperature and relative humidity than to land-atmosohere feedbacks. Overall, our findings highlight the importance of assessing driving forces and physical mechanisms that control VPD variability using high-quality climate datasets, especially, in semiarid and sub-humid regions of the world

Anthracological evidence suggests naturalness of Pinus pinaster in inland southwestern Iberia

The study of well-preserved archaeological charcoals in the pre-Roman Iron Age settlement of Castillejos II (Badajoz, Spain) is used to reconstruct environmental conditions and land-use practices in vegetation landscapes in the southwest of the Iberian Peninsula before the arrival of Roman civilization. The results support that, while evergreen Quercus forests dominated during the Holocene, Pinus pinaster existed as a natural element of southwestern Iberian Peninsula vegetation. Although its presence could be linked to anthropogenic disturbance or fire history, it is suggested that P. pinaster populations survived during the Holocene in the region, mixed with oaks or in monospecific stands in mountain enclaves. This hypothesis contrasts with previous assumptions that P. pinaster was not autochthonous in the area