Related Experiment Video
Updated: Aug 31, 2025

Generating Strictly Controlled Stimuli for Figure Recognition Experiments
Published on: March 18, 2019
Forcing axioms and the complexity of non-stationary ideals
1Department of Mathematics and Applied Mathematics, Virginia Commonwealth University, 1015 Floyd Avenue, Richmond, Virginia 23284 USA.
Abstract:
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on and its restrictions to certain cofinalities. Our main result shows that the strengthening of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on to sets of ordinals of countable cofinality is -definable by formulas with parameters in . The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on and strong forcing axioms that are compatible with . Finally, we answer a question of S. Friedman, Wu and Zdomskyy by showing that the -definability of the non-stationary ideal on is compatible with arbitrary large values of the continuum function at .
Related Concept Videos
Constraints and Statical Determinacy
Second Uniqueness Theorem
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
Theorems of Pappus and Guldinus: Problem Solving
Alternative Sets of Equilibrium Equations
One example of such a situation can be observed in a...
Thevinin's Theorem
Castigliano's Theorem

