A forcing preserves cofinalities over if every generic extension hasThe two values are compared as ordinals, using preservation of ordinals by forcing. Equivalently the forcing asserts that no ground ordinal acquires a smaller cofinality. The assertion concerns all ordinal cofinalities, not just that one specified cardinal remains uncountable.
Articles by others on the same topic
There are currently no matching articles.