-
Article
Open AccessForcing axioms and the complexity of non-stationary ideals
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on \(\omega _2\) ...
-
Chapter
X-IoT: Architecture and Use Cases for an IoT Platform in the Area of Smart Cities
Remodeling the elements of city life and advancing qualities of cities for learning, innovation, doing business, and creating jobs are crucial qualities for location competitiveness, growth, and investments. T...
-
Article
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu–Shelah in 1997 are close to optimal. We also consider some related and, as it turns out...
-
Article
Open AccessGenetic structure in the Sherpa and neighboring Nepalese populations
We set out to describe the fine-scale population structure across the Eastern region of Nepal. To date there is relatively little known about the genetic structure of the Sherpa residing in Nepal and their gen...
-
Article
Martin’s Maximum and tower forcing
There are several examples in the literature showing that compactness-like properties of a cardinal κ cause poor behavior of some generic ultrapowers which have critical point κ (Burke [1] when κ is a supercompac...
